Update and rename .gitignore to .Int