A REST interface for MongoDB based on tornado