Hard code RSVP version to 3.0.3

This is to redeuce diff noise due to different versions of RSVP on
different machines.
Make pretty print an option of the ParseTreeWriter.