python script to wrap multiple minecraft server installations