Nfa_from_dot for parsing dot files and converting them to Nfa. Uses odot.