Added options print-errors and print-history to pushgp, which turn off
printing of those things if false.
Made agents with errors exit the program.
Version bump.