Add a `php/hex_encode` encoder

[postmodern]

Add a built-in PHP encoder which hex encodes each character of the PHP code and uses eval(hex2bin("...")) to decode and eval the Python code.

eval(hex2bin("..."))

[postmodern]

Implemented in 9918409.