Map list filter

Hi, 

i've missed this feature for a long time - being able to filter maps by name (in map list).
I'll be happy if you merge this change to your master procon source tree.

Best regards,
Juraj