Dockerfile for mono debian docker container