We need Travis or another CI thing to build all PRs, and make sure they don't break. In addition, the automatic build from master seems to be broken as wel at the moment. Maybe the latter is because the readthedocs thing is still linked to @tBuLi.