Code to run the pretry printer and the parse the result.

Alas this immediately shows up an error in the pretty printer:

In CakeML, only constructors can start with capital letters, but the
translation of the HOL function "FST" has a non-constructor that starts
with "F".