added JSON format for c4ddev symbols.