Update readthedocs config

Doc builds on readthedocsc.org were still failing because of the missing
`build.os` key. Update the config to conform with the recommendations
from https://docs.readthedocs.io/en/stable/config-file/v2.html