A Dockerfile for Mono on Ubuntu 13.10 using directhex packages