sphinxdoc start_shell utility