Definition lists

[Aaron Swartz]

So I went back and looked at the spec and it says this should be the
case, but it doesn't seem to be implemented in the Dingus.

Also, "PHP Markdown Extra will wrap the definition in <p> tags" (in
the spec) should have the tag encoded.