gitignore latex generated stuff
proposal