Changes in Lib/dfalib and interfaces C to OCaml to get running word on external x.dfa working.