Leonardo Hardware PWM Servo Control Library:
Just in case other leonardo users come to this page in search of salivation, I've written the above library to allow access to all of the available PWM controllers at their full resolutions. YMMV, but it seems to work well for me at least. 8)
I would have liked to incorporate it into the existing library by the OP, but the only preprocessor tag for the leonardo is in use by the teensy 2.0 and I wasn't sure how to solve that problem.