Make cursor thinner, like other editors. Fixes #136.

* Old block cursor available as global option.
Implement crash recovery.