Tools to keep the htdig tree in sync with mifluz

. Make sure all changes in mifluz are commited to the tree. 
  If doing mistakes, do a checkout to repair.

. Do a 'make distclean' on mifluz before running the scripts.

. Run 'scripts/mifluz2htdig' or 'scripts/htdig2mifluz', check the
  patch generated and apply it using patch -p0.

The directory involved in htdig3 are db, htdb, test, htlib and htword.
All files except the makefiles are compared in each directory. Other
files may be ignored too, check the script.
