fix result output
check confidence for all sub nodes instead of only verifying proof status of the root node (issue #2)
scrollable result table
sortable output (issue #3)
add machine name to sequents (issue #1)