Add extensible customer buttons#1215

danielpine wants to merge 3 commits intojosdejong:developjosdejong/jsoneditor:developfrom

danielpine:developdanielpine/jsoneditor:developCopy head branch name to clipboard