Text selection

After a big refactor to use Attributed strings instead of individual views, it is now possible to select all the text on the page at once.

There have also been numerous improvements in the rendering, and (I hope) few regressions