Apply cache and BDDSet moved from map to unordered_map and from BDD*
indexes to size_t indexes to allow constant-time instead of
logarithmic-time insertion and lookup. Works, but eight_queens is still
not fast enough :/.
Merge branch 'master' of https://github.com/Quentinz/bdd