explicit_tree_incl_*: formating
cli/vata: recursive inclusion is not the default
Makefile: add test to .PHONY
tests/incl_test.sh: change naming of test cases
CMakeLists: add parameters for adding debug symbols to release
Merge remote-tracking branch 'martin/new_incl_interface' into refactoring_inclusion

Conflicts:
	cli/vata.cc
cli/operations: sanitize automata at the beginning
congr_product: suppression the non-virtual destructor warning
Merge remote-tracking branch 'upstream/refactoring_inclusion' into new_incl_interface
finite_aut: remove redundant tests

which were there before just to avoid unused variable warning
Merge remote-tracking branch 'martin/new_incl_interface' into refactoring_inclusion
aut_base: add a generic procedure for testing equivalence
Merge remote-tracking branch 'upstream/refactoring_inclusion' into new_incl_interface
removed bad assert