Install interactive signal handler. Fixes #37