improved server ui

  - version bump to bootstrap3
  - split up search results in table and map, so that we can locate results with position on the map now
  - remove 'add document' editor (was not that useful anyway) ...
  - ... and replaced it by executable quickstart tutorial based on our thesis.

The example created 4 contexts and inserts 3 documents with location.