An HP Procurve Configuration Manager, in Python