ppm: Update ppm to commit 241d794f326b63b5abdb9769

[DeeDeeG]

Updating the ppm submodule of this repo to the latest commits from https://github.com/pulsar-edit/ppm.

Includes the following PRs from the ppm repo since we last updated here in Pulsar core repo:

• https://github.com/pulsar-edit/ppm/pull/122
• https://github.com/pulsar-edit/ppm/pull/123
• https://github.com/pulsar-edit/ppm/pull/124