added marksinfo.txt which will work properly with utf8 encoding, and started to update the make-proofs shell script to use it instead.