BFD: get the correct 'malloc' and 'free' addresses.

It's not just HDF5 that has its own internal symbols.  Be sure
these symbols come from libc.

I believe this worked out previously because libc *happened* to be
the last library in the library list that had 'malloc' and 'free'
in it!  This was a nightmare to debug...
symbolic exec: don't print the register file each iter.

waaaaay too verbose.
msg: fix message going to stdout instead of stderr.
note index size issues instead of asserting them.

can indeed happen, just use 4-byte indices.
handle 'eax' as a register case.

and invalid cases better in general, by at least saying what code
is missing.

I am probably going to kick myself for not filling in all the
32bit registers right now.
change prefix to '[s]', and add it to messages.

makes it very easy to distinguish superior and inferior messages.
add a (modified) version of the serial linpack benchmark.

nice test, i guess, but visualizing the data is dumb/worthless.
memoize CFG construction.

it was our slowest part.  still is, really, but much less so, now.
note when we uncover more dimensions.
add a script for updating our dependencies.