Allow to stop history by double ctrl-c.