* Fix Profiler::getUserTime() to return a float and not string with space separated...

* Fix Profiler::getUserTime() to return a float and not string with space separated values since, was breaking difference calculation since PHP doesn't know how to make the difference of two strings :P
* Same when adding fake items in the stack after a profiling error
* Removed useless ProfilerSimple::getTime()