Version 3.16.2

Added Makefile options to build for the Raspberry Pi (armv7=0, arm_fpu=vfp2).

Performance and stability improvements on all platforms.

git-svn-id: https://v8.googlecode.com/svn/trunk@13309 ce2b1a6d-e550-0410-aec6-3dcde31c8c00