updating RTD to use the latest karma (and merging a PR)