travis-ci: debug why coverage is reporting so low
travis-ci:  send SIGINT not SIGTERM to children