DGD's extension interface

DGD has a documented extension interface to make it easier for others to add kfuns or add special object types. See the dgd/doc/Extensions interface for details and a worked out example.