Modify the Gitignore

The gitignore did not get merged earlier but now it should be.