Proposal: Ctrl-D should distinguish deleting char from quitting

Attempt to improve the patch from https://github.com/fsharp/fsharp/pull/174. cc @jpalmer