JSON3 is now a Git submodule.