Small but usefull benching function with memory information (use the webkit gc() function that need to be activated on the command line)