Add scripts to build a dev environment with Docker.

Fixes #5996