adding copyright licence to ml and mli files
compiling. Blocks compression is buggy still