Add PS4 port.

Thanks to Eddie Edwards.
Fix for -jdump docs.
Fix recording of BC_VARG.
Fix frame depth display for bytecode dump in -jdump.