Delete automatic space between * and /.

This allows to type */ to end a multi-line comment even if automatic
insertion of spaces after * is turned on. See issue #69.

Potential problem: What if the user actually wants to start a line
with / in a multi-line comment?
Document */ behavior in multi-line comments.
added Tillmann Rendel to the list of commiters