Delete proposal-2013-rev5.synctex.gz