editors/diamond: update to 1.3.7, latest upstream

This version is just a copyright-year update. I'm taking advantage
to follow Daniel Engberg's advice to use the upstream tarballs
rather than GitHub tarballs, even though the upstream tarballs
are, IMO, terrible.

While here, pull in a patch I wrote to avoid crashes on startup.