Interactive visualisations of proof trees in PVS