Rewrite the AST to conform to the W3C grammar

Add automata data structure.

Remove AbsoluteDOS from the XPath AST.

Use ocamlfind to invoke pa_macro appropriately.

Compile again.

Modify the run_test script.

Merge branch 'master' of ssh://git.nguyen.vg/tatoo

Cosmetic changes in the Patricia Tree code.

Refactor the code to have a unique place for signature definition.
Re-architecture the code to have all signatures in the sigs.ml module.
Any signature which occurs at least twice in the code (e.g. in a.ml
and corresponding a.mli) is put in a module A in Sigs. The signature
can the be included in a.ml and its 'module type of' can be included
in a.mli.

private signatures can stay in the .ml files where they appear.

With -f, we can read the XPath query in a file.

Queries and script for testing.

Remove spurious debugging statement.

Add attributes to the test document.

Add support for attribute nodes. Correctly escape special charaters
during printing.

Add support for text elements in the XML document.

Merge branch 'master' of ssh://git.nguyen.vg/tatoo

Conflicts:
.gitignore

Add .gitignore and ignore result of compilation.

.gitignore for test.native and _build

Usable version:
       - use ocamlbuild
       - cherry pick Pretty, State, StateSet and Formula from SXSI
       - Parsing of XML documents

Add autoconf infrastructure, license, and macro files.