Delete draw-dfa.js