Simplified use of runtime's global variable __common_ticktime accross extensions.

2014-12-12, Edouard Tisserant