modifications to update-git.sh

* don't require bash
* save time & HDD I/O by keeping track of what has been exported
* make pushing to github optional
* also push tags when pushing commits