Use readthedocs.io for production docs

This project should probably use readthedocs.io for building and hosting production documentation, it's easier to configure than gitlab pages.