Moved some test code to OCaml
Split out stream_of_lines and parse_manifest_line functions
Migrated copy_with_verify to OCaml