Added PIKE_BYTECODE_PORTABLE for use by the codec in PIKE_PORTABLE_BYTECODE mode. Rev: src/program.h:1.194