Creating a project and beginning to think about structure
Structure of the project
First QEA implementation, SimplestQEA added
.gitignore added
I was thinking about some things so added them to the code. You can, of
course, edit anything that I have written.

I have started to set up the monitoring structure discussed in Trello
and implemented the HasNext QEA.
Updated HasNextQEA using states starting at 1.

Added a method to SimplestQEA that allows us to set many states as
final.
Added a more detailed comment to the HasNextQEA
Event interface deleted
Method trace commented as there is no Event interface
*First implementation of method 'step' for 1 parameter added
*First implementation of method 'end' added
*Interface 'Monitor' turned into an abstract class
*Event representation changed from 'Event' to integer
*New methods 'step' added from 1 to 5 parameters
*Abstract method 'end' added
*Method 'trace' deleted
*Method 'isStateFinal' added
Added tests for HasNext and a new QEA UseFile.

These tests failed because of an issue I pointed out in an email. I have
commented out the correct code. If you understand the issue then you can
remove this commented code.
Added the UseFileQEA with tests that I mentioned previously but forgot
to add!
*UnoptSimplestSmallStepQEAMonitor renamed to SimplestSmallStepQEAMonitor
*SimplestSmallStepQEAMonitor changed to keep track of the number of
bindings in non-final states, to make faster the computation of the
Verdict when processing an event
Flag added to indicate whether quantification is universal or
existential.
Method isStateFinal added
Functionality for one variable with existential quantification added
Parameter added in the constructor to indicate universal quantification
Conditions added to create new monitors