Update options.conf

Updated phpMyAdmin to 3.5.7