Developer profile badge support - WIP (#1978)#2019

daveoconnor wants to merge 1 commit intodevelopboostorg/website-v2:developfrom

doc/1978-developer-profilesboostorg/website-v2:doc/1978-developer-profilesCopy head branch name to clipboard