Handler-case implementation.

Conflicts:
	bytecomp/translcore.ml
	parsing/ast_helper.ml
	parsing/ast_helper.mli
	parsing/ast_mapper.ml
	parsing/parser.mly
	parsing/parsetree.mli
	parsing/pprintast.ml
	parsing/pprintast.mli
	parsing/printast.ml
	tools/cmt2annot.ml
	tools/depend.ml
	tools/ocamlprof.ml
	tools/tast_iter.ml
	tools/untypeast.ml
	typing/printtyped.ml
	typing/typecore.ml
	typing/typedtree.ml
	typing/typedtree.mli
	typing/typedtreeIter.ml
	typing/typedtreeMap.ml
Handler syntax for match.

Conflicts:
	bytecomp/translcore.ml
	parsing/ast_helper.ml
	parsing/ast_helper.mli
	parsing/ast_mapper.ml
	parsing/parser.mly
	parsing/parsetree.mli
	parsing/pprintast.ml
	parsing/printast.ml
	tools/cmt2annot.ml
	tools/depend.ml
	tools/ocamlprof.ml
	tools/tast_iter.ml
	tools/untypeast.ml
	typing/printtyped.ml
	typing/typeclass.ml
	typing/typecore.ml
	typing/typedtree.ml
	typing/typedtree.mli
	typing/typedtreeIter.ml
	typing/typedtreeMap.ml
Static exceptions can exit try...with blocks.  Currently works only in bytecode.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13222 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Conflicts:
	typing/typecore.ml
Static exceptions can now escape try blocks also in native code.

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/static_exceptions@13223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Conflicts:
	typing/typecore.ml
Minimal Camlp4 support.