CLI and a few adjustments

Added CLI for symbolic finite automaton
Added function MatrixSimulation for possible future use (not tested)
Changed dependency between symbolic_finite_aut.hh and
symbolic_finite_aut_bdd.hh