[bokchoi]

Check out EXI. It compresses the xml stream into a binary encoding and is quite small and fast:

https://www.w3.org/TR/exi/