Dockerfile for building dev env for codementor.io