Minor fixes
inf-mongo.el added