Implement develop_git and update provision script to git pull after the fact

Fixes #154