phpbash: semi-interactive PHP shell compressed into a single file