adding refactored GeoProofSchemes to the data
adding modified tools