add generated Rodin files to .gitignore