6a92529272
This reverts commit 378fa6b4016b65e2d7b128fdc3ce89c4ca779a4d.
Docker images and build script for building the project using Docker. See this page for more info.