Use SIGTERM everywhere

When bash is interactive, SIGINT kills it, when it's not, SIGTERM does.