Ext_header_identifiers -> Ext_auto_identifiers.
Implemented Ext_header_attributes.

This allows explicit attributes to be put on headers, using
a syntax like that for code blocks:

  {#id .class .class k=v k=v}
Options: Added phpMarkdownExtraExtensions.

And added markdown_phpextra input/output format.