CA-137766: Remove GC stats reporting

This code erroneously reported rrdd's GC stats as xapi's. The code has
now been moved to xapi itself, which reports these and other stats to
rrdd via the plugin mechanism.

Signed-off-by: John Else <john.else@citrix.com>
Add opam file

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Update to use new Debug.with_thread_named API

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #23 from johnelse/ca-137766

CA-137766: Remove GC stats reporting
CA-150826: Fix monitoring of xenopsd

Instead of monitoring the xenopsd process (which doesn't exist any more)
monitor xenopsd-xc and xenopsd-xenlight.

Signed-off-by: John Else <john.else@citrix.com>
Merge pull request #25 from johnelse/ca-150826

CA-150826: Fix monitoring of xenopsd
Merge pull request #24 from djs55/add-backtraces

Update to use new API
Fix up log message in migrate_rrd

Signed-off-by: Si Beaumont <simon.beaumont@citrix.com>
Merge pull request #26 from simonjbeaumont/fix-log-message

Fix up log message in migrate_rrd