Removed unnecessary lines from .gitignore (and previously, added some new lines for files the ACL2 component generates