use different transactions for proof tracking and views;

Reworked the PP data loading so that different transactions are used from different places. This avoids various race conditions where data is changed by proof capture in the middle of UI refresh.
Merge branch 'fix-transactions'
bump Scala version
removed obsolete import

(compilation error from 37a2c3e5834d44da37eaddf36d2e880c60eb5a21)
only match CztTerms on the term itself;

This is a workaround for some matching issues, when Displays for some reason were different (one had newlines, the other didn't). Anyway, only CZT term representation needs to match.