Added experimental code for improved storage of assertions tables

(not yet used, just compile clean)

	modified:   ocaml/assertion_table.ml
	modified:   ocaml/container.ml
	modified:   ocaml/prover.ml
	modified:   ocaml/term.ml