explicit_tree_aut_op.hh: formating
tests: fix a bug
Merge remote-tracking branch 'martin/master' into martin_merge

Conflicts:
	include/vata/explicit_tree_aut_op.hh
CMakeLists: enable setting custom gcc/g++ compiler
finite_aut: make compile without warnings (GCC 4.8)
finite_aut: make some changes in formating etc.
cli: returned the possibility to create static version
README: add Martin to the list of authors
Merge branch 'martin_merge'