Change spaces
Merge pull request #26 from Nautic/master

Change spaces
Use development harbor database

The live database is actually unusable.
Add jQuery

Source  : http://jquery.com
Version : 1.10.2
License : MIT
Include jQuery on index page
Remove map editor

The map editor is disabled since about two years. This cleanup
will be separated in different commits.
Remove Prototype javascript framework
Merge branch 'remove-map-edit'
Make tools toggleable

Only one tool window can be active at the time. Therefore the
menu items must be toggleable.
Add permalink tool