Update sketchlib to v1.3.0
This accommodates updates to pp-sketchlib introduced since v1.1.0, mostly passing through new command line parameters (e.g. --use-gpu). See https://github.com/johnlees/pp-sketchlib/releases/tag/v1.3.0 for more info.
This accommodates updates to pp-sketchlib introduced since v1.1.0, mostly passing through new command line parameters (e.g. --use-gpu). See https://github.com/johnlees/pp-sketchlib/releases/tag/v1.3.0 for more info.