Update doc; use Read The Docs sphinx theme for latest doc