add centralized log facility with filtering

To enable logging for specific classes, create a file named
log_filter.settings.php in the top directory of the plugin and extend
$LOG_FILTER global variable with the classnames you want to log from.
reindent
fix deletion (purge) of types
fix install and removal of rights
replace GLPI logging with ours