Add a git ignore file, to avoid problems and useless commits when switching branches