install 3rd-party sphinx extension