Add a copy button to code snippets#4563

connorjward merged 1 commit intoreleasefiredrakeproject/firedrake:releasefrom

connorjward/copy-buttonfiredrakeproject/firedrake:connorjward/copy-buttonCopy head branch name to clipboard