v4.7
maint: update .gitignore after bootstrap
maint: remove all trailing white space
dfa: reflect move of dfa code to new gnulib module