Renamed our customized Velocity JAR from mm-velocity-1.4.jar to velocity-dep-1.4-flex.jar.
The standard Velocity name for this JAR, which is built by Velocity's "jar-dep" target, is velocity-dep-1.4.jar. We append "-flex" to indicate that we've customized it, just as for our customized Batik JAR.
This change affected the mxmlc classpath in modules/compiler/build.xml, the packaging scripts, and the Eclipse projects.
I also renamed mm-velocity-LICENSE.txt and mm-velocity-NOTICE.txt to drop the "mm-" prefix.