itex2MML 1.3.22: New License

Now triple-licensed: GPL/MPL/LGPL.

Also, some new symbols:
\ast, \Cap, \Cup, \circledast,
\circledcirc, \curlyvee, \curlywedge,
\divideontimes, \dotplus, \leftthreetimes,
\rightthreetimes, \veebar, \barwedge,
\doublebarwedge, \blacktriangleleft,
\blacktriangleright, \ntriangleleft,
\ntriangleright, \ntrianglelefteq,
\ntrianglerighteq, \trianglelefteq,
\trianglerighteq, \triangleq,
\vartriangleleft, \vartriangleright,
\boxdot, \intercal, \smallfrown,
\smallsmile, \ominus, \oslash