changes to Nao actuator
Merge branch 'real_time_verification' of github.com:wongkaiweng/LTLMoP into real_time_verification