Version 3.25.13 (based on bleeding_edge revision r19957)

Move profiler callback interfaces from v8.h to v8-profiler.h.

Performance and stability improvements on all platforms.

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