Fixed Minecraft server config, updated documentation.

The server configuration was wrong because I misunderstood entrypoints
and commands, but it's fixed now.  The documentation now includes a
more complete set of instructions for the Minecraft containers,
including the usage of 'docker push' and better testing.