Tools for integrating Git and Stata