doc about timer.lua script in vrep

[sebastien-forestier]

The doc should mention something about the timer script to be put in v-rep as a child script of a Dummy object called vrep_time.