theme comparison tool: use "git worktree" to build themes#387

mgeier merged 5 commits into

spatialaudio:masterspatialaudio/nbsphinx:masterfrom

mgeier:build-themes-worktreemgeier/nbsphinx:build-themes-worktreeCopy head branch name to clipboard