More assorted code tidying.

Allow Moscow ML build to happen using (as yet unreleased) v2.10.

Basic strategy is to make adoption of basis 2002 even more
thorough. In particular, the Timer structure is now as per
the 2002 Basis.

It is possible to detect that one is working with Moscow ML 2.10 or
later by checking the Holmakefile variable $(HAVE_BASIS2002), which is
set (to value "1") when in 2.10 or later. It is unset elsewhere. See
an example of its use in help/src-sml/Holmakefile.

Added a function profile_with_exn_name that keeps track of exception names in
the profiling results. In contrast, profile_with_exn combines all exceptions
raised by foo in one entry, foo_exn.

added real-time to profiling information

Syntax problem fixed. The recent changes did not work with PolyML.

added functions to profile with respect whether a function failed (threw an exception) or terminated normally

Get portableML/Profile.sml to build again by providing it with its own
copy of foldl_map. (Profile.sml can't see Lib.)

Column width in profiling output is now computed dynamically. Leads to much nicer output when there are big numbers (i.e., long strings) which wouldn't fit before.

Fix compile error in Profile.sml: somehow a space appeared in the
middle of listItems.

Prettified.

Move Profile.sig and Profile.sml to portableML, as this code has
nothing in it that is HOL specific. (Indeed, it's not used much in
the code base at all as it's a pretty poor man's substitute for real
profiling.)