Fixed bug 1231656: File-Compare-Leo-Files leaves other file open-count incremented.

This bug may already have been fixed, but just to make sure compareLeoFiles now calls g.app.forgetOpenFile

Leo build: 20141029060837