Enable copy button for shell sessions and consoles#295

hugovk merged 2 commits intopython:mainpython/python-docs-theme:mainfrom

hugovk:copybutton-shellhugovk/python-docs-theme:copybutton-shellCopy head branch name to clipboard