Auto reloading when file changes

[bvssvni]

Currently, one has type type the following to check a change in the source:

> clear
> reload
> provenr no amb

It would be nice to have an auto-reloading feature such that when the source is changed, one can just type:

> provenr no amb