Added gitignore entry for pro-user files