Work on manual.html:

- shader editor selector hovers over the editor
- two result areas, with independent shader and output type selectors

It should be a lot easier to add new kinds of output now (such as translated code or visual output).