Whitespace cosmetics.

Remove unneeded spaces and reindent comments in some cases to improve readability.
docs/Compilation.txt: Add recursion to 'git submodule foreach' command.
Add a Doxyfile to generate source doc.

WIP