Fixes in diagrams

`User` -> `Prover`
`User B` -> `Bob`

diagrams/data_provenance_oauth.drawio

@@ -33,7 +33,7 @@
                         <mxPoint x="450" y="665" as="targetPoint"/>
                     </mxGeometry>
                 </mxCell>
-                <mxCell id="HxEEL8P-OPklS3m3PPNj-30" value="grant access&lt;br&gt;to User B" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=none;" parent="HxEEL8P-OPklS3m3PPNj-29" vertex="1" connectable="0">
+                <mxCell id="HxEEL8P-OPklS3m3PPNj-30" value="grant access&lt;br&gt;to Bob" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];labelBackgroundColor=none;" parent="HxEEL8P-OPklS3m3PPNj-29" vertex="1" connectable="0">
                     <mxGeometry x="-0.0036" y="-1" relative="1" as="geometry">
                         <mxPoint y="-19" as="offset"/>
                     </mxGeometry>

diagrams/overview_notary.drawio

@@ -7,7 +7,7 @@
                 <mxCell id="GdnXkJGOJiVmK7E47u4y-44" value="" style="shape=cylinder3;whiteSpace=wrap;html=1;boundedLbl=1;backgroundOutline=1;size=15;dashed=1;dashPattern=8 8;" parent="1" vertex="1">
                     <mxGeometry x="170" y="220" width="140" height="285" as="geometry"/>
                 </mxCell>
-                <mxCell id="EZAqd18MQriHtEKbU3QA-1" value="User" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;shadow=1;fontStyle=1" parent="1" vertex="1">
+                <mxCell id="EZAqd18MQriHtEKbU3QA-1" value="Prover" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;shadow=1;fontStyle=1" parent="1" vertex="1">
                     <mxGeometry x="200" y="260" width="80" height="80" as="geometry"/>
                 </mxCell>
                 <mxCell id="EZAqd18MQriHtEKbU3QA-2" value="Server" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;shadow=1;fontStyle=1" parent="1" vertex="1">