User manual improvement

One more final release by Markus Kohm. There are no changes to the package itself. Only the user manual has been slightly improved and links to the github repository has been added to the manual.