changed .gitignore so that git no longer tries to keep RequirementManager.jar up to date