Fix Sphinx build and add basic CircleCI config

[palango]

• Fixes the docs build error
• Adds a simple CI config, to stop people from destroying the build in the future