json-c: Update from 0.13 to 0.13.1