pull in changes from numbered_headings plugin

This Pull request should probably not be merged 'til https://www.openproject.org/issues/344 has been adressed.