Fixed how menu's are build
Added code to detect the blog
Made it a nice Bootstrap menu
Merge branch 'gh-pages' of github.com:cwi-swat/rascal into gh-pages