Regenerated embedded documentation.
Put section information into the json format.
Extended the json help format with a map "opt2para" from options to controlling parameter (name to name).
Bumped package versions to 0.8