merging back development branch blume_devel_v110p26p1_3...
This involves changes to CM and the removal of CMStaticEnv from
the compiler.  See the HISTORY file for more information.

merging back changes from blume_devel_v110_26_2

- size info in BOOTLIST
     * no fixed upper limits for number of bootfiles or length of
       bootfile names in runtime
     * falling back to old behavior if no BOOTLIST size info found
- allocation size heuristics in .run-sml
     * tries to read cache size from /proc/cpuinfo (this is important for
        small-cache Celeron systems!)
- install.sh robustified
- CM manual updates
- paranoid mode
     * no more CMB.deliver() (i.e., all done by CMB.make())
     * can re-use existing sml.boot.* files
     * init.cmi now treated as library
     * library stamps for consistency checks
- sml.boot.<arch>-<os>/PIDMAP file
     * This file is read by the CM startup code.  This is used to minimize
       the amount of dynamic state that needs to be stowed away for the
       purpose of sharing between interactive system and user code.
- CM.Anchor.anchor instead of CM.Anchor.{set,cancel}
     * Upon request by Elsa.  Anchors now controlled by get-set-pair
       like most other CM state variables.
- Compiler.CMSA eliminated
     * No longer supported by CM anyway.
- fixed bugs in pickler that kept biting Stefan
     * past refs to past refs (was caused by the possibility that
       ad-hoc sharing is more discriminating than hash-cons sharing)
     * integer overflow on LargeInt.minInt
- ml-{lex,yacc} build scripts now use new mechanism
  for building standalone programs
- fixed several gcc -Wall warnings that were caused by missing header
  files, missing initializations, etc., in runtime (not all warnings
  eliminated, though)

CM changes: standalone builds, better CMB.make/deliver, general improvements

tweaking the (un)pickler

pickle dropper

memoize put into its own module

filtering and rehashing fixed; Servers.reset added where necessary

small change to SafeIO; cosmetic fix of master-slave interrupt handling; doc

prepared for switching to rb-trees (once they work correctly)

annoying path confusion bug fixed

memoize in stabilize; faster autoload message; consistent handling of ctxt

destroy_state was called too early in stabilize

switchover to new library scheme seems to be completed

comments and some diagnostics added

compiles now, compiles itself, but then does not boot

mostly done; need to finish Link

new stable format + improved recompile/link (in progress, not working yet)

small changes in the pickler interface

slight changes in pickle interface

just syncing; this version does not work

stable pickles use more sharing now

skel-io and stabilize use new pickler

aliases eliminated

backed out of thin traversals

thin traversals implemented (whew!)

bfc_fetch_xxx bogosity eliminated; more fleshing out of CM

more bugs/problems eliminated from the list...

more inching towards a usable system

transfer of state during stabilization implemented

bootstrapping now working (it seems)

bootstrapping works now (mainly); PathConfig code cleaned majorly

basic bootstrapping is now working

more work towards being able to bootstrap

autoloading added

a host of changes related mostly to pathname handling

various changes in pathname handling etc.

RTPID and BINLIST written

wrapped privileges cleaned up; Overview updated

IO.Io exception handled in stabilize.sml

error flag in source cancelled; IO vs. interrupts handled more robustly

groups not stabilizable by themselves (sucked into surrounding stable library)

stablefile format enhanced; bootstrap compiler shows signs of life

bootstrap compiler half-working

more flexible implementation of Primitive module

some cleanup; pathconfig modes added; grammar modified (privileges)

keep_going works now (apparently)

usage of privileges reported (only a hack)

stabilization code properly hooked in

stabilization code working but only flimsily hooked up

stabilization code completed -- still needs to be hooked up

simplified da-env

more stabilization code (still not done, though)

stabilization code mostly done

some more fiddling with the stablefile pickler

first steps towards stabilize (not finished yet)

finished recomp.sml; now only need to put the pieces together

persistent state/error handling bogosity fixed

most of recompilation/execution machinery in place

first steps towards make/recompile and stable libraries