Add button to show/hide docstest prompts#938

tristanlatr wants to merge 11 commits intomastertwisted/pydoctor:masterfrom

390-show-hide-doctest-prompttwisted/pydoctor:390-show-hide-doctest-promptCopy head branch name to clipboard