Add some useful Sphinx plugins