Verbosity added to the tables

	modified:   ocaml/alba.ml
	modified:   ocaml/context.ml
	modified:   ocaml/context.mli
	modified:   ocaml/feature_table.ml
	modified:   ocaml/feature_table.mli
	modified:   ocaml/proof_context.ml
	modified:   ocaml/proof_context.mli
	modified:   ocaml/proof_table.ml
	modified:   ocaml/proof_table.mli
Added functions to extract variables

	modified:   ocaml/term.ml
Removed unneeded arguments

	modified:   ocaml/prover.ml
Added the names of the formal arguments for a witness

	modified:   ocaml/proof.ml
	modified:   ocaml/proof_context.ml
	modified:   ocaml/proof_table.ml
	modified:   ocaml/proof_table.mli