5.13.2 release

5.13.2 release candidate 1

Jenkins Git plugin tagging with 5.13.1

Jenkins Git plugin tagging with 5.13.0

5.13.0 release candidate 3

5.13.0 release candidate 2

5.13.0 release candidate 1

Merge branch 'db/wmi_timeout' into db/per_thread_wmi

Initial pass at moving the WMISampler onto its own thread.  The thread
polls wmi at the 15 second interval.  The various checks then take the
last good reading.  This has two effects:

-  The checks are always non-blocking

-  The data they read could be older than expected (if the WMI request
   takes a long time)

   Added stop() to Check() class, and call check from collector to shut
   down

   WMISampler thread.

   Add WMICheck::stop(), and call WMISampler stop for each sampler

[trace-agent] restart on unexpected error code

This patch restarts the trace agent if it exits with an error code
that is different from 0. Else, it would restart in some cases but
would consider as 'expected' the return code 2 which is what Go
returns for builtin runtime errors.

bumps version to 5.12.2