A tagged netstring encoder/decoder for PHP