Terminal app for managing multiple minecraft servers