* bricks/brick-assert, bricks/brick-bitlevel,
bricks/brick-hash, bricks/brick-hashset,
bricks/brick-shmem, bricks/brick-types: Rename as .. .
* spot/bricks/brick-assert, spot/bricks/brick-bitlevel,
spot/bricks/brick-hash, spot/bricks/brick-hashset,
spot/bricks/brick-shmem, spot/bricks/brick-types: ... this
* Makefile.am, README, debian/copyright,
debian/libspot-dev.install, m4/bricks.m4,
spot/Makefile.am, spot/ltsmin/spins_kripke.hh,
spot/ltsmin/spins_kripke.hxx, spot/mc/bloemen.hh
spot/mc/deadlock.hh, tests/Makefile.am,
tests/core/bricks.cc: here.

* spot/misc/fixpool.hh: Here.

* spot/mc/bloemen.hh, spot/mc/mc.hh: here.

Do not forget to recycle iterator, otherwise the todo
stack will be trashed without cleaning iterators.

* spot/mc/deadlock.hh: Here.

In 3fe74f1c, fixed_size_pool was changed in order to
help memcheck to detect "potential" memory leaks. In a
multithreaded context, this could raise false alarm. To
solve this, we proprose 2 policies for the pool, one with
the check and one without.

* spot/misc/fixpool.cc: deleted ...
* spot/ltsmin/ltsmin.cc, spot/ltsmin/spins_kripke.hh,
spot/mc/deadlock.hh, spot/misc/Makefile.am,
spot/misc/fixpool.cc, spot/misc/fixpool.hh,
spot/priv/allocator.hh, spot/ta/tgtaproduct.cc,
spot/ta/tgtaproduct.hh, spot/twa/twaproduct.cc,
spot/twa/twaproduct.hh, tests/core/mempool.cc: Here.

* tests/core/twacube.test: Here.

* tests/ltsmin/modelcheck.cc: here.

* spot/mc/ec.hh, spot/mc/intersect.hh,
tests/core/twacube.cc: here.

* spot/mc/bloemen.hh: here.

In PPOPP'16, the algorithm does not unlock
roots. This could lead to deadlock between
threads.

* spot/mc/bloemen.hh: here.

* tests/ltsmin/modelcheck.cc: here.

* tests/core/twacube.cc: here.

Fixes #330.

* tests/ltsmin/README,
tests/ltsmin/modelcheck.cc: here.

* spot/mc/intersect.hh: here.

* spot/mc/unionfind.cc,
spot/twacube/cube.cc,
spot/twacube/twacube.cc,
spot/twacube_algos/convert.cc,
tests/core/bricks.cc,
tests/core/cube.cc,
tests/core/twacube.cc: here.

* debian/rules: here.

* tests/ltsmin/finite3.test: here.

* spot/mc/bloemen.hh: here.

* tests/ltsmin/check.test: here.

* spot/mc/bloemen.hh, tests/ltsmin/modelcheck.cc: here.

* tests/ltsmin/check.test,
tests/ltsmin/check2.test,
tests/ltsmin/check3.test,
tests/ltsmin/finite2.test,
tests/ltsmin/finite3.test: here.

* spot/mc/bloemen.hh, spot/mc/mc.hh: here.

* spot/mc/bloemen.hh,
tests/ltsmin/modelcheck.cc: here.

* spot/mc/Makefile.am, spot/mc/bloemen.hh,
spot/mc/mc.hh, tests/ltsmin/modelcheck.cc: here.

* spot/mc/Makefile.am, spot/mc/deadlock.hh,
spot/mc/mc.hh, tests/ltsmin/modelcheck.cc: here.

* spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh,
spot/mc/Makefile.am, tests/ltsmin/modelcheck.cc,
spot/mc/mc.hh: here.

Experiments shows  that this table slows down algorithms
since the management is also tracked at higher lever by
algorithms

* spot/ltsmin/spins_kripke.hh,
spot/ltsmin/spins_kripke.hxx: here.

* tests/ltsmin/modelcheck.cc: here.

* tests/Makefile.am: here.

* spot/ltsmin/Makefile.am, spot/ltsmin/spins_interface.hh: here.
* spot/ltsmin/spins_interface.cc: delete.

gcc snapshot yield internal compiler error: tree check: accessed elt 2
of tree_vec with 1 elts in tsubst, at cp/pt.c:13693

* spot/kripke/kripke.hh: here.

* spot/twacube/twacube.hh: here.

* spot/twacube/twacube.cc,
spot/twacube/twacube.hh: here.

* spot/twacube/twacube.hh: here.

* spot/mc/ec.hh: here.

* spot/ltsmin/Makefile.am,
spot/ltsmin/spins_interface.cc,
spot/ltsmin/spins_interface.hh: here.

* bricks/brick-shmem: here.

* bricks/brick-shmem: here.

* bricks/brick-hashset: here.

* spot/ltsmin/spins_kripke.hxx: here