sym_var_asgn: add the copy constructor and asgn operator
sim_param: add the SimParam structure
CLI: improve simulation output
aut_base: remove SanitizeAutForSimulation()
loadable_aut: add copy constructor and implicit parameters to DumpToString()
bdd_{bu,td}_tree_aut: add ComputeSimulation()
explicit_finite_aut: add ComputeSimulation()
explicit_tree_aut: add ComputeSimulation()
tree_aut_test: modify calls to ComputeSimulation()
src: cosmetic changes
explicit_lts: cosmetic changes
binary_relation: deJirification
translators: add auxiliary methods
util.hh: fix RebindMap2 (was never working)
explicit_tree_transl: fix downward translation
explicit_lts_sim: cosmetic changes
explicit_tree_sim: add Compute{Upward,Downward}Simulation(params)
bdd_{bu,td}_tree_aut: do some horrible changes with simulations
explicit_finite_aut: add ComputeSimulation()
explicit_finite_aut_core: add GetFinalStates(), other things