update Rodin description with ProR links
added Latex temp files to .gitignore
update pdf file