Added Justin's missing file.
Renamed 5_dfa_read to dfa_read.

Python does not like importing files with a number at the front.