configure: Add --with-optimize-option, for setting the default value of