#193 save to bookmarks on enter
#192 added indentation shortcuts
#202 fixed loading of endpoints from localstorage
Merge master into dev
#195 added first implementation of autocomplete servlet
#196 adapted autocompletion dialogue to deal with different types of autocompletions
#195 added connection with database for fetching autocompletions
#198 connect our old property fetcher with new autocomplete api, and store results to db instead of file
added system of applying deltas for db version changes
#199 initial implementation of lazy retrieval of properties by logging queries (of which we actually got some results) to the server, and retrieving and storing the properties from those queries
 #197 added script to add properties from a file to our database
 #197 added script to get all dbpedia properties
#196 improved autocomplete dialogue by adding some alignment and spacing css, and by adding the displayed number of autocompletion suggestions vs. the total number of possible suggestions
 #199 created script to add properties lazely from google analytics query
improved lazy caching using query logs
 #195 some small fixes
 #197 merged branch into dev

Conflicts:
	src/main/webapp/codemirror.html
upped version