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