A WAP Binary XML (WBXML) Decoder Written in Python