Added rascal latex syntax highlighter for the "CAT" source to latex.