- Modified tools.TacoAPI
	*	it now works correctly as a Singleton
	*	renamed method sat to isSat

- Modified config.StrykerConfig
	*	it now works correctly as a Singleton

- Modified tools.JMLSpecsAPI
	*	renamed method validate to isValid

- Modified repairer.StrykerRepairSearchProblem
	*	renamed method successful to isSuccessful