Add option to control whether scripts use git commands

In some cases, it may be desirable to not perform a pull when rebuilding ACL2 or SBCL. I've added the -n --no-git options that, when provided, result in no pull being performed when running clean-gen-acl2.sh or rebuild-sbcl.sh.