Circle menu fixes, ShellFolder.getDisplayName()

* The circle menu is now positioned directly above the icon. Also, it
cannot be dragged anymore.
* The ShellFolder class provides a getDisplayName() method to get a
file's display name from the OS, instead of computing it manually.