Solved. In case someone else finds it helpful, the code has actually been released here: https://github.com/gavinandresen/paymentrequest/tree/master/php. Cheers!