Better gitignore (why do I ever use Github's default???).