Update options.json

added mysql