Improve vim-redprl. (#561)
Improve vim-redprl. (#561)

* Compute buffer's editable width rather than reported width.

* Reliably kill redprl process before starting a new one.

JonPRL/sml-red-jonprl,RedPRL/sml-redprl