Allow compilation without usermanual sources

... and fix the release script accordingly. It only used to work due to
a typo.
Prepare for a little nicer code formatting
Don't put a space after casts
Run style beautifier, this time using clang-format
Ignore some more files when formatting code