Change abbreviations map file abbrev.gob to manually editable text file

[NikolajLindberg]

Maybe the editor abbreviations aren't very important? In that case, never mind. If they turn out to be important, then put the abbreviations in a manually editable file, rather than the current "gob" (Go binary format).