Modified to take command line arguments for logFileName and PropabilityToCreateNewThread, in that order.
Merge branch 'master' of https://github.com/tlp6191/Quarto

Includes seenStates for everything.
Conflicts:
	Quarto.java