Merge branch 'master' into pucked.

diff --cc src/Makefile.in
Simple merge

diff --cc src/microcode/debug.c
Simple merge

diff --cc src/runtime/mit-macros.scm
Simple merge

diff --cc src/runtime/runtime.pkg
Simple merge