Fix/docu config

Integrated information about command line options and the config file into Sphinx.

In particular, this includes all the information that was previously contained in docs/config-doc-v1.4.0-rev4.pdf and docs/config/config-doc.lyx. This content was augmented by personal notes.