made proper .gitignore

if files/dirs aren’t ignored before they’re present in the repository,
you have to run `$ git rm —cached <file>` or `$ git rm -r —cached
<dir>` to ignore them later.