Remove documentation build directory from sources
In !300 I noticed changing the docs and rendering them locally produces changes in the docs/build
directory.
That directory is produced by Sphinx, and used in ReadTheDocs to serve our docs. But it does not need to be included in git, as far as I know. Also, changes to Sphinx versions or dependencies may change the rendering, which would create unnecessary changes (since the source has not changed).