Basic benchmark with DFS and DFS with bitstate hashing (using Jenkins
lookup3 hash function).

* spot/mc/Makefile.am: add bitstate.hh
* spot/mc/bitstate.hh: implementation here
* spot/mc/mc.hh: add bitstate wrapper
* tests/ltsmin/modelcheck.cc: add bitstate CLI