Added JSON output options to mcmc.jl