More extensive implementation of history browsing + integration with GUI

Change-Id: I78f810a0a87714322a20514bd3d1da2cc1839780
diff --git a/src/state-server.cc b/src/state-server.cc
index 48b63de..fa8517c 100644
--- a/src/state-server.cc
+++ b/src/state-server.cc
@@ -166,6 +166,7 @@
 
   json.push_back (Pair ("timestamp", to_iso_extended_string (from_time_t (action.timestamp ()))));
   json.push_back (Pair ("filename",  action.filename ()));
+  json.push_back (Pair ("version",  action.version ()));
   json.push_back (Pair ("action", (action.action () == 0) ? "UPDATE" : "DELETE"));
 
   if (action.action () == 0)