Refactor the README into readthedocs

The README has gotten a bit lengthy. The ordering is a bit odd, as I think the prolog exegesis should probably come after the more pragmatic stuff. I was about to do the reordering but then thought we may as well go all the way to RTD