Fix support for multiple minecraft server dirs.

Now `minecraft_server_dir` is properly supported, both for initially
installing an existing server, and for subsequently installing a second
server. Now we have a separate init script for each server.