Auto reloading when file changes

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
```