Finished Nfa.closure (operation on automata); new Utils.string_of_list_spec which generalized string_of_list; Fixed Nfa.to_dot, which now returns syntactically correct dot representations of nfa's; Fixed hard_coded initial state in Nfa.to_dot; File.ml for writing strings to files.