Fixes #3: AJAX-renaming of files in file manager.
Fixes #30: upload several files.