Merge pull request #7 from garrigue/trunk

Support module alias from ocaml trunk@14394
Support pattern as index in for-loops

Closes #3
Support generative functor syntaxes

Closes #4
support module aliase syntaxes

Closed #8
increment ast magic numbers
fix #5
Fix the default exception printer

The representation of exceptions changed.
fix -U for an undefined macro in Camlp4MacroParser

with ocaml 4.01:

    $ camlp4o Camlp4MacroParser.cmo -UFOO
    Camlp4: Uncaught exception: Not_found
support open! in signatures
fix #12
typo
do not compile myocamlbuild.ml with ocamlfind
fix (again...) for ocaml trunk
support for M.[ foo ], M.{ foo }, etc.

This is a proposal implementation of the approach suggested by Jérémie
in github issue #10. I had to protect the expr production

    | m = a_UIDENT; "."; l = SELF -> <:ident< $uid:m$.$l$ >>

with a TRY around [ "."; SELF ], because otherwise it would fire
in the M.<delim> case, eat the last dot, and then fail with a parse
error on the delimiter.
fix previous commit
bootstrap
handle toplevel primitives with multiple arguments

Fix #18
bootstrap
fix for trunk
bootstrap