runsql can now "restore FILE.dump"
Made the slot page much nicer; and the volume page too.

Closes #52, #126