CI should check for broken links in the documentation

#28662 (moved) and #28661 (moved) were detected with sphinx make linkcheck. This can be added to tox and be called from travis.