Add new clause at next blank line
Add new clause at next blank line

This fixes a thing that's been annoying me in the vim mode. It's usually
something that's left to the editor, but we do all the work for the vim
mode! (This is hard to test conveniently, sorry...)

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm