bdd_td_tree_aut.hh: remove some obsolete nonsense
bdd_td_tree_aut.hh: move details to core class
include/vata/mtbdd/: move to src/
include/: remove obsolete files
explicit_tree_aut.hh: preparing for adding core
explicit_tree_aut: move implementation to core_ member
include/vata: move some headers to src/
include/vata: move some files to src/
include/vata: move some files to src/
include/vata: move explicit_tree_aut.hh from /ta_expl/ back to /