First commit for fix-dropbox

Dropbox does weird things to directory names when you download a folder
via the web.  If that folder is encrpyted with encfs, you're gonna have
a bad time.

Luckily, the weird things seem to be reversible; this little script does
the reversing.