use jquery tablesorter to sort the file list

Signed-off-by: Dirk Rettschlag <dirk.rettschlag@gmail.com>