build system: use oasis 0.4, changed definitions of some modules;
meta: added .mli files for most parts of the meta prover;
HOTerm printing of rigid vars now with ?x
moved Hash and Hashcons to base/lib;
Hash.hash_seq and hash_array added