examples: add example4 and example5
examples: improve example4 and example5 (not to fail)
bdd_bu_tree_aut: add CheckInclusion(smaller, bigger)
explicit_finite_aut: add CheckInclusion(smaller, bigger)
bdd_bu_tree_aut_core: add CheckInclusion(smaller, bigger)
symbolic: add some TODO
.gitignore: ignore YouCompleteMe merde