Text this: PROOFTOOL: a GUI for the GAPT Framework