[m-rev.] [m-dev.] Almost ready to merge the update_boehm branch

[Paul Bone]

speedtest -l
N=20, ignore=0
Debian Linux (Stretch)
GCC 5.2.1-17 (Debian)
i7-4770 3.4Ghz

                Boehm version
                7.2     7.4.2
    asm_fast.gc 13.5s   13.4s 
    hlc.gc      13.4s   13.3s
    hlc.par.gc  21.2s   20.8s

So a slight improvement, which is nice.  Note that in my previous e-mail I
reported four digits, however only three were sagnificant.


-- 
Paul Bone