bin/get_formulas.py: Add --clone-from and --clone-branch options
    
    These two options are useful for the CI runner to clone directly from
    our gitlab instance, and to get the production branch directly, instead
    of cloning from github, adding our gitlab instance as remote and
    checking out the production branch.