Some unused parts of the AST removed

	modified:   ocaml/eiffelc.ml
	modified:   ocaml/parser.mly
	modified:   ocaml/prover.ml
	modified:   ocaml/support.ml
Modified 'Module_table.is_public'

We are always in a public view if there is more than one module on
the stack, because only the toplevel module can be viewed in private
mode (implementation file) and in public mode (interface file). All
used modules can only viewed in public mode.

	modified:   module_table.ml
Added private and public definitions to 'Class_table'

	modified:   class_table.ml
	modified:   class_table.mli
	modified:   context.ml
	modified:   context.mli
	modified:   eiffelc.ml
	modified:   module_table.mli
Merged formal generic names and concepts in 'Feature_table'

Instead of using an name array and a concept array we use an array
with tuples (name,concept).

	modified:   context.ml
	modified:   feature_table.ml
	modified:   feature_table.mli
Added function 'Term_table.terms' which returns all terms of the table

	modified:   ocaml/term_table.ml
	modified:   ocaml/term_table.mli
Added 'Term_sub.identity'

	modified:   ocaml/term.ml
Added 'Class_table.type_of_signature'

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