Added GraphViz output for NFA, fixed bugs, sample main() builds nfa and dump's its graph