- New bloom filter class (with only Jenkins hash for now)
- Use std::vector<bool> instead of std::bitset to allow dynamic bitset
  size
- Specify memory size with command line option: -H MEM_SIZE

* spot/mc/Makefile.am: add bloom_filter.hh
* spot/mc/bitstate.hh: implementation here
* spot/mc/bloom_filter.hh: implementation here
* spot/mc/mc.hh: modify bitstate wrapper
* tests/ltsmin/modelcheck.cc: specify mem size in CLI