Modified GlobalTerminationCondition

Is now a case class and serialisable by default. Requires a change in
how the "shouldTerminate" function is specified. Closes Issue #62.