adding file arguments.ml, we can use cmti again
skeleton now uses module Arguments
Cleaning skeleton.ml
cleaning tt_restore.ml
cleaning unglobalize.ml