Added example of loading and updating a PROV-O graph.