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

This fixes #5909.