lua.js: fixed typo in os.clock, and made os.time return floating point number.
new benchmarks and small fixes.