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