Document how to get started with WMI in Python