gitignore: remove things not in use anymore