added channel hiding/filter feature to enhance usability of mumble on servers with lots of channels (like mumble.piratenpartei-nrw.de)