Split docs and docs/source

For sphinx,

bears currently uses directories docs and docs/API

coalib uses docs and docs

pypi mobans uses docs and docs/source .

We need two variables.