Cleanup docs generation after full Read The Docs migration

[adiroiban]

We now only publish the documentation via the Read the docs project.

There are still some scripts and tools from the time when they were hosted on a dornkirk

While working on this, also move the dev docs into the root and generate redirect pages.

As part of this we can remove custom them and only use the read the docs theme

Remove trac-links and other plugins