A simple python script to start / stop minecraft servers