bin/get_formulas.py: --update should work without args as well
--update takes zero to * args. If it is not set, it reports None, while
if it is on but without args passed, it is set to an empty list. Thus,
this commit fixes the issue that the script failed to run if no args
were given to it