use the new RTD sphinx theme while we're at it