use Adobe Source Code Pro from Google Fonts for monospace font
enable pygments highlighting in sphinx docs

The 'basic' Sphinx theme defaults to pygments_style='none'. This patch
sets it explicitly to 'sphinx' (the usual default). We don't have many
highlightable code blocks but it's nice to have anyway.