Linux free text editor with highlighting