Update OPTIONS

Added autoconf-make-install-options to the list of available options for autoconf.