Dropbox extension for Caja file manager