ADDED:
+ you can now do `sudo make install` to install the lua high_rez_timer.
	In fact, it's probably best that you do so in order for it to
	find the .so module correctly.
+ the Lua Vector3 benchmark now runs and works.