Added parsing of interface files

	modified:   ocaml/eiffelc.ml
	modified:   ocaml/lexer.mll
	modified:   ocaml/parser.mly
	modified:   ocaml/support.ml
	modified:   ocaml/proof_context.ml
	modified:   ocaml/prover.ml