[PATCH] Add support for `user-defined` python commands

[Tom Tromey]

Tom> This needs a doc review.

Scott> That's not a separate mailing list, is it?

Nope, it will happen here.

I will send you the paperwork stuff off-list.

Tom