Add a run UUID to the push-argmap
Add a run UUID to the push-argmap

Placing the UUID in the argmap allows it to easily be accessed from
various locations.

lspector/Clojush,NicMcPhee/Clojush,thelmuth/Clojush,NicMcPhee/Clojush,lspector/Clojush,Vaguery/Clojush,saulshanabrook/Clojush,thelmuth/Clojush,saulshanabrook/Clojush,Vaguery/Clojush