Adds docker_manager.py - tools to manage docker instances, mainly to put it in the correct repo for now