Batch Grader Fix, "isSolved" Flag and Related Stuff

[hansongu123]

Description

• xml parser
• "isSolved" flag

Here's the implementation of the Batch Grader using an .xml parser to traverse through a collection of student submission files, reading the attribute value of "isSolved" flag (which was planned to be implemented in the earlier versions) to improve its processing efficiency.

Two attributes have been added to the exporter. One is the "isSolved" flag - runs puzzle checker when a proof is saved (instead of running it inside of the Batch Grader); Another is "lastSaved" - give the exact time the proof is last saved. (meant to be a supporting function for the isSolved flag, from our group discussion, as a way to hash its value)

The default values of these attributes are also added to the template puzzle files.

Some small changes are also included, like the names of the save buttons in the menu panel.

Closes #547 Closes #564 Closes #227

Type of change

• [x] Bug fix (non-breaking change which fixes an issue)
• [x] New feature (non-breaking change which adds functionality)
• [x] Enhancement (improvement to an already existing feature)

How Has This Been Tested?

Checklist:

• [x] I have performed a self-review of my code
• [x] I have commented my code, particularly in hard-to-understand areas
• [x] I have made corresponding changes to the documentation (if applicable)
• [x] My changes generate no new warnings
• [ ] I have added tests that prove my fix is effective or that my feature works
• [x] New and existing unit tests pass locally with my changes

[hansongu123]

For the ease of reviewing, the main changes are located in HomePanel.java and PuzzleExporter.java

[04vmatsibekker]

When testing this PR out after saving one of the puzzle files some issues came up. At first I noticed no changes to the puzzle file, isSaved column. Then after multiple attempts of saving one of Cristn's puzzles with a slight change, I did get a result, but it is not quite correct yet.

I have been discussing this PR with Hanson for the past few days. And it seems that it works for him, but somehow not for me, despite verifying that I tested the PR out correctly.

[hansongu123]

Thanks! I'm happy that this is finally approved!