Changes to Dump and pretty printing

Now we show the Sequent Core code pre-optimization (much more readable). Also,
use an underscore for the "box" rather than [] because that's an empty list.
Added content to the README file.