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.