Add a Dockerfile for a "devbox".

There are still plenty of issues to work out...