add unary.py to define unary operators

I added unary.py to define unary operators of automata. At this time, only the trim operator is available.

find_inacc function has been moved to unary.py from supr_contr.py. Also, a test of the trim operator has been added.