bin/get_formulas.py: add args to update local and remote repos:
* --update: switches to origin/master, performs git pull from origin.
Optionally it fetches the given remotes
* --push: switches to origin/master, and pushes to the master and
production branch of all the given remotes