Log more data

* Properly log process spawning
  and message passing
* Extend JSON to encode PIDs & Refs