add copyboard to public key#1857

AMiracle-creator wants to merge 3 commits into

dedis:masterdedis/popstellar:masterfrom

AMiracle-creator:issue#1853AMiracle-creator/popstellar:issue#1853Copy head branch name to clipboard