Python Decimal encoding

This commit adds support for python Decimals to ujson.dumps().