bug#17458: minor dfa.c suggestion

[Aharon Robbins]

Hi guys.

Since dfa.h now include <stdbool.h>, you don't need to do it in dfa.c

Arnold