Several fixes to javascript and semantic web features. Some more GUI suggestions (button groups, font awesome).
Merge branch 'develop' of https://github.com/olab/Open-Labyrinth into develop

Conflicts:
	www/css/basic.css
Resubmit basic.css, revert bootstrap.php