revert documentation theme to default

Readthedocs has updated their default theme to not suck. We can revert
to using it now.
Merge pull request #18 from rjw57/default-doc-theme

revert documentation theme to default