Added proxification setup details to info.txt

Also clarified trusted boot chain verification algoritms.
Replaced cpufrequtils with cpupower
Updated light-themes patch
Removed Audacious due to "No output plugin found" error

For non-command-line tools, it is better to rely on GStreamer
in any case.
Migrated XChat configuration to HexChat

Also updated Tor-compatible servers list.
Updated Tor configuration with circuit isolation