Quixe 2.1.5 and GlkOte 2.2.2

This includes the fix for the “Counterfeit Monkey has fuzzy graphics on high-DPI displays” bug.

It also adds a teeny convenience feature: if a long output causes MORE paging, there will be a mark in the right margin indicating where the output began.

Various customization hooks that I added while developing the Hadean Lands app.