Added minimalization algorithm + unitTests.

Also added methods and unittests for:
 * remove unreachable states
 * remove nonterminating states
 * make FA welldefined
Added set_of_sets.cpp and .h files for some usefull functions about sets,
which si Qt unable to hendle.