Mainframe Docker setup

[andreterron]

Let users start a Docker container with Mainframe.

For reference, here's the commit where I set up Docker for the first time: 8f2a7c9