rel #13783 : introduce set_time_limit wrapper to not limit at testing time and to detect if set_time_limit is disabled in php.ini