main: add prettier error handler
Improve error handling
cmd_shell: fix keyboardinterrupt error message
cmd_shell: fix recursion
Improve handling of KeyboardInterrupt
safe: by default, always rerandomize
Only show rerandomization progressbar if it takes more than one second
progressbar: write to stderr instead of stdout
main: add `pol nop' to test startup speeds
Use demandimport for on-demand imports
pol.passgen: fix import