add ExtensibleExceptions

See ExtensibleExceptions. There are multiple proposals here, so we need to either add more tickets or narrow it down.

I (Simon M.) prefer Proposal 3.

John G. notes that this still doesn't let you subclass exceptions, which is often a useful idiom in Python and OO languages.