Support for formatting and parsing non-arabic digits.

Also adds a CoinFormat.withLocale() to configure the format from a locale.
Could you elaborate on this a bit more? Like which languages do you have in mind here? Thai? Chinese? Whenever I was in these places they seemed to use arabic digits ...

BTW minor style nitpick: remember we write comments in full sentences with capital letters and full stops.