Added instructions to RhobanProtocol
Reduced verbosity of stm spawner