Rename --disable-opts option to --disable-optimizations in order to be less

ambiguous, opts sounds more like options than optimizations.

Originally committed as revision 10855 to svn://svn.ffmpeg.org/ffmpeg/trunk