Implement navigation between edit points

[jeremypw]

Maintains a record of the points at which the document has been edited and adds actions to go backward and forward between them.

Fixes #1018
At the moment, for simplicity, edit points are defined by where the document has been clicked on and the separation from the previous edit point is more than 10 lines. This is somewhat arbitrary and needs refining.