Improvements to the file manager
Created originally on Bitbucket by ayshih (Albert Shih)
Was already merged in Bitbucket before import, marked as merged by the import user
Two improvements to the file_man module:
- The directory listing now uses Mergesort to sort the files (significantly faster!)
- File sizes were not getting pretty-printed properly (possible integer overflows in the arithmetic and incorrect rounding)