add process.hrtime() to nodejs.jsx
use high resolution time in profiler if available

See
https://dvcs.w3.org/hg/webperf/raw-file/tip/specs/HighResolutionTime/Overview.html
for performance.now()
Merge branch 'feature/hires-profiler'
rename example hello-webgl
add example to WebRTC