Processor thread now has a name.

Fix several html files.

resources/html/GenericConstraint.html

@@ -1,11 +1,10 @@
 <html>
 <head>
-<title>Generic Constraints</title>
+  <title>Generic Constraints</title>
 </head>
 <body>
 <h1 align="center">Generic Constraints</h1>
 <br>
-
 <p>To represent generic constraints on real-valued functions, this class can parse
 String expressions in prefix notation of the form:
 <blockquote>