Add user preference to set default filter behavior

By default, the filter is enabled for users. This default value can be
changed by changing the default value in `LocalSettings.php`:

    $wgDefaultUserOptions['rchidelogs'] = 0;