Virtuoso driver implemented, with HTTP digest authentication for inserts
Reverted deleted installation files and bootstrap.php
Merge branch 'develop' of https://github.com/olab/Open-Labyrinth into develop
Merge remote-tracking branch 'olab/develop' into develop

Conflicts:
	www/application/classes/model/labyrinth.php
	www/application/classes/model/leap/map.php