Added implicit epsilon states

Made the StateDirectory assume all states without outgoing transitions
to be epsilon states, removing the need for explicitly declaring
terminating states (see main.cpp diff)