New script launcher, better KeyboardInterrupt handling, bugfixes in term.py