personalDNSfilter

Apr 30, 2022

- Fix - blacklisting from log required restart
- Fix - timestamps not shown during remote control
- Added dnsfilter.conf setting 'dumpDNSPerfInfo' - when 'true" the dns perf info is dumped to the live log.
- Some code refactoring to separate configuration from android main activity
- Removed obsolete nixnet DNS servers as they are discontinued
- Improved dark mode colors
- Added dnsfilter.conf setting 'useActionMenuFallback' - for devices not supporting custom action menus (e.g. Xiaomi)