Convert '<' in filenames to character entity before passing them to jstree for display.

This fixes #5909 and #6196.