Make gitignore more thorough in removing user files