add an "Open Recent File" menu

This is one of the aforementioned West Point requests. It keeps the
last 8 files that were read or written in a submenu of "File".
It stores them in the JESConfig.properties file.