Folder-specific Force refresh

[Petr Nejedly]

Should be able to force refresh with a priority to a given folder (on a right-click menu). That will reduce time needed for indexing new files for folders that are down in the order of shared folders.

Edit: would this make much sense going further with Java 7's new IO functions <<issue 410>> ?