Simplify Sphinx deps
Use http for GMP download