Added CRTM lexer and tests. Updated docs