docs: use 'pycon' pygment for python-console example sessions.