hide certain directories in FileManager
The exclude pattern should be editable by users in the future.
Merge pull request #761 from chrox/hide_dirs

hide certain directories in FileManager