RADIUS plugin: Add support for multiple servers

Allow the user to specify a space-separated list of RADIUS servers (along the lines of the LDAP plugin).  If the first one doesn't respond, the following server(s) will be queried.

(If this gets merged, I guess it should also be mentioned in the docs.)