Added xdebug_time_index

Summary: This diff adds the xdebug_time_index function, which returns the number of
seconds that have passed since the script started. This implementation has
a precision of microseconds like php5 xdebug.

Depends on D1392774

Reviewed By: @ptarjan

Differential Revision: D1398587