fix rtd-theme, travis installs