Use BigDecimal instead of Double to avoid loss of precision

[ind1go]

In our use case, the loss of precision when parsing decimal numbers as floating point is not acceptable. This pull request proposes switching parsing from Double to BigDecimal. Because this is a behaviour change, it puts it behind the jettison.json.jsontokener.use_bigdecimal system property so that other consumers are unaffected unless they opt in.