A REST interface for MongoDB that just works