id-attributes for documentation title

This will enable to link to the documentation section titles - i.e. for generating anchors in the side nav.

Related Discussion #25