Smart phones at the ready: phone app tells Israelis when to duck and cover from Hamas rockets