Implement redraw asynchronously using $interval

This doesn’t yet improve performance as the chunks (strokes) are too
big.
Use generators for a uniform chunked interface to drawing
Push generators deeper to make interface more responsive

Make drawPenStroke{Outline,Centerline} into private methods (prefixed
with underscore).