JDecisiontableLib 1.3.1 released

This release was necessary because of a bugfix. The bug was that it limited the number of decimal places for the probability in the string tables to 3. Becuase probability is measured in percent that means you got 12.3 % where a value of 12.34 % was provided. This doesn't affect the JSON strings. These keep the value with full precision.