Add pyb.hard_reset, and make sys.exit() or raise SystemExit do a soft reset.