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

pickle dropper

memoize put into its own module

concur moved; remote pathname cleanup; no dependence on target-compilers

error recovery during compile traversal finally correct (hopefully)

filtering and rehashing fixed; Servers.reset added where necessary

pickle context mostly eliminated

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

reset logic (scheduler) fixed

more robust(?) path name protocol

even ordering in master-slave protocol improved

in-degree calculation and prioritizing added

interrupt handling made more robust for compile servers

servers: X-platform, rsh, stabilization now work

CMB.deliver (and probably CM.stabilize) now work with compile servers

improvements on parallel stuff

parallel make basically works (with rough edges)

getting ready for parallel...

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

registerGroup goof repaired

annoying path confusion bug fixed

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

relative anchors expanded

some small bugs squashed

switchover to new library scheme seems to be completed

comments and some diagnostics added

new stable library format seems to work...

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)

code discarded in safe cases only

just syncing; this version does not work

exception history printed in recomp.sml

some pathconfig oddness rectified

traversals separated (private state should now also work with autoloader)

backed out of thin traversals

thin traversals implemented (whew!)

bfc_fetch_xxx bogosity eliminated; more fleshing out of CM

better pathconfig interface + some cosmetic improvements

transfer of state during stabilization implemented

bootstrapping now working (it seems)

bootstrapping works now (mainly); PathConfig code cleaned majorly

basic bootstrapping is now working

listfile generation fixed

more work towards being able to bootstrap

autoloading added

a host of changes related mostly to pathname handling

various changes in pathname handling etc.

very serious (and stupid!) performance bug killed

RTPID and BINLIST written

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

stablefile format enhanced; bootstrap compiler shows signs of life

bootstrap compiler half-working

bootstrap compiler implemented (still needs list file generator etc.)

switched from mkprimperv.sml to build-initdg.sml (which is a lot cleaner)

value cache implemented correctly

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

a few types cleaned up; adding bindings to toplevel implemented

keep_going works now (apparently)

stabilization code working but only flimsily hooked up

stabilization code mostly done

some more fiddling with the stablefile pickler

dyn-tstamp eliminated; more fiddling with sharing (now checked statically)

bug in handling of private flag fixed

recompile and exec mostly working (probably still bugs in the details)

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

more flesh added to recompile/exec

persistent state/error handling bogosity fixed

most of recompilation/execution machinery in place

first steps towards make/recompile and stable libraries