Enforcing .gitignore

Thes files were added before beeing included in .gitignore, deleting
them with git rm --cached ;)