Migrate data to MongoDB and add REST interface

This is a major step towards a more usable product. Before clients had to download the full GeoJSON (approx. 7MB). With this migration to MongoDB, only the relevant parts are downloaded by a client.