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