Remove everything to do with licensing from the MLWorks source tree.  Lots of code in the runtime had already been removed, leaving us with a tree which wouldn't build (because it was looking up runtime licensing functions to call.  We are going to trim the trunk sources so that those functions are stubbed, but this branch is the next step beyond that, in which there are no license-related dialog boxes or other functionality.  This tree now believes that it is MLWorks Professional, and doesn't know anything about licenses.
Merge branch 'ml-licensing' of github.com:Ravenbrook/mlworks-temporary into ml-licensing