API updates

This patchset adds support for html-formatted notifications via content-type, priorities (previously ignored), URLs, and developer keys (untested -- I don't have one.).  It also fixes the Verify() call so it actually works.

The commits themselves are independent, so you should be able to pick-and-choose.