Tweaked -dumptex functionality to be in line with new herd syntax. Tweaked ptx.cat file to match the ASPLOS paper.