Docker build file for a mongodb server