Added version number to manual "Home" button

Fixes #70
Readded a few tabs

I added a few tabs to the html manual:
Getting Started
Tutorials
Index of Actions
Merge branch 'fix-70' into v2.1
Backport of fix-70
Merge branch 'v2.0' into v2.1

I had to remove the postproc.sh file added in v2.0
to post-process html files (in v2.1 this is done in go-doxygen)

Conflicts:
	user-doc/Makefile