Added C++11 support (Fixed timer to correctly record elapsed time (gettimeofday() function) instead of CPU time for the current process (clock() function); this alows the backend compiler performance to be correctly recorded).
Merge remote branch 'origin/master' into HEAD