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
Followup for !81 (merged)