Use the latest version in /doc for authors, cite, license

Christoph Grothrequested to merge
deduplicate into master

Also, remove "authors" from the navigation bar in favor of the footer (that should be enough).

Together with the modifications to /install this fixes !5 (merged).

Merge request reports