Whitespace (#1112)

* remove trailing whitespaces

* minor docs tweaks

* some more trailing whitespaces

* few more tweaks

tools/specprocess.py

@@ -52,4 +52,4 @@ for i in range(0, len(specLines)):
 
 specOut = open("build/spec_preproc", "w");
 specOut.writelines(specLines);
-specOut.close();
+specOut.close();