added „pool“ options in the config.php for an optional character pool (makes options 'type' and 'sensitive' obsolete)