Release the data in stan-lang.json under PDDL
Merge branch 'master' of github.com:stan-dev/stan-mode