Automatically generate doc index page (with just the menu)
placeholder for doc/ links
1.2 release: doc of 1.2 at the root, 1.1 as archives
Merge pull request #123 from AltGr/1.2-release

Put the 1.2 doc pages in front for the release