Python codec to interface with RL-Glue