Add `minLength` property to Dfa class

[pschiffmann]

This property would contain the number of states in the shortest path from start state to any accepting state. This can be used to eagerly reject inputs that are too short to possibly match any pattern in the scanner.