propellor-4.6.1: property-based host configuration management in haskell