plugin file sharing: use header hint to show current path, and open new path: - if header is empty, current path is shown as hint - if text is entered, it's used to filter files/dirs in the current path - if text is a path (i.e. if it contains a "/"), current path is changed to specified one when header is validated

-e git+https://github.com/kivy/kivy.git#egg=kivy
-e hg+https://repos.goffi.org/sat#egg=sat
-e .