For #192. * spot/misc/timer.hh, spot/twa/bdddict.cc, spot/twa/bdddict.hh, spot/twaalgos/sbacc.cc: Here.