some more legacy src code and a new parseGeoProofs.pl added