ta_expl/: move some headers from include/vata/ to src/
ta_expl/: formating and minor changes
tests/: add eval_incl_results.awk

The script is to be used for evaluation of output from incl_test.sh
bdd_bu_tree_aut.hh: add core_ to shield the implementation
bdd_bu_tree_aut: fix some introduced bugs
var_asgn.hh -> sym_var_asgn.hh
api/: create directory
bdd_td_tree_aut: formating