* NEWS: Mention it. * src/bin/ltlcross.cc: Always display the number of timeout on normal termination.