score in machine state

added TromboterMachineState (extends MachineState)
containing int nodeScore (initialized as -1)
added TromboterProverStateMachine
same behaviour as ProverStateMachine but will use TromboterMachineState
instead