#17 Automatically synchronise proof state with prover

[Andrius Velykis]

Currently the proof state (e.g. state of theorems, state of paragraphs, etc) can be updated manually by selecting "refresh" button in corresponding views. It would be good if the information would be updated automatically, e.g. when there is a break in processing (delayed refresh?).