Lines that have been executed are coloured green

This one required all kinds of changes to Rainbow and the line numbers plugin. We need a better solution here.