We don't need the .gitignore any longer, as no compiled files are left in the src...