add a sphinx extension