Added formal generics in function and assertion signatures

Note: formal generics are not yet stored in the feature and assertion tables. Just the
names and types of the formal arguments are stored. It is still missing to store the
names of the formal generics and their concepts (i.e. types).

	modified:   library/kernel/any.e
	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
	modified:   ocaml/eiffelc.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/prover.ml
Obsolete code deleted

	modified:   ocaml/assertion_table.ml
	modified:   ocaml/assertion_table.mli
	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
Added formal generics with their concepts into the feature table

	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
	modified:   ocaml/feature_table.ml
	modified:   ocaml/feature_table.mli
	modified:   ocaml/prover.ml