Rc/stable/1.12.9

This is a WMI update for Terminal Server sessions for Windows 2008 as per Markus Neumann's request on NMS-4763. I have also included three other changes to add additional (new) WMI data metrics based on performance statistics I have found helpful to monitor.