Download ProofTool: GUI for the GAPT Framework