use python as the default sphynx domain