add dump-option for milestones in JSON format