Docker file for a development environment

It is auto-reloading. the bash script is a bit crude, it might be
happier as a Shake script which detects changes and recompiles (e.g.
with hsnotify).