Simple and fast XML encoder/decoder for Python