We should have a nice .gitignore