Clean up formatting and introduce build plugin

[jvz]

An initial formatting style was defined in the docs. A checkstyle build plugin or similar should be configured to enforce this style or something similar, and the source code should be reformatted according to this style as well.