Lexing of different file formats according to filename, for color highlight