Added the pushing of contexts

	modified:   ocaml/context.ml
	modified:   ocaml/signature.ml

	modified:   ocaml/eiffelc.ml