Python scripts for managing git projects with submodules