Make demo server run only when new data provided/following script. Fix
bug in target display. Record targets that have become invalidated in
the prov store.