Cog 64-bit Spur VM progress

Now Eliot Miranda has Cog 64-bit Spur x64 VM evaluating 3+4 correctly on Mac OS X.
Very nice!