t1702: create doc/conf.py for ReadtheDocs.org