Finished NFA implementation.

Fixed syntax and logic errors in the previous commit (Now that I have access to a compiler again).
Added proper epsilon transitions.
Added Show trait
Updated main function with examples
Updated dfa.rs to handle changes to the Transition type.