Update JSON CPP (v0.5 -> v1.0), switch to github distribution.
Merge pull request #97 from bkloppenborg/develop

Update JSON CPP (v0.5 -> v1.0), switch to github distribution.