Remove IDEA project altogether.
Rename requirements.txt to dev-...txt to clarify that these are NOT core dependencies.

(Installing packaged sphinx should speed up CI builds significantly and pip
should figure out it doesn't need to install it.)