Allow for multiple krb5_server hosts in configuration

[staliostefano-art]

The parameter krb5_server in sssd::provider::krb5 is of type Simplib::Host.
Entering more than one ip/hostname as a value is thus not possible, but it is desired in real world situations.

krb5_server should be an array of Simplib::Host objects