added source codes for finite automata extension
added function headers to keep compability with FA extension
added function headers to keep compability with FA extension
added function headers to keep compability with FA extension
added comments
added comments
Added tests for finite automata extension
Added operations for FA
Added explicit finite automata representation
Added explicit finite automata representation
Added explicit finite automata CLI
Added makefiles with macros for changing optimization level
quick fix
quick fix
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