Make these miscellaneous examples build as proper <foo>Script.sml files.

Move some of the example files that had been at examples into the misc
directory, where I will change them into files that can generate
standard theories. This in turn will allow these files to be easily
folded into the standard -selftest regression suite. (In particular,
autopilot.sml would have alerted me to a bug in the handling of
records that Anthony has just e-mailed me about.)