System option LEAVE_QEMU_ON_HALT added

LEAVE_QEMU_ON_HALT can be defined to exit QEMU when halt() is called
or main() returns EXIT_HALT. QEMU has to be started with the
-semihosting option, so that this works.