Configure will now optimize the binary for the native architecture.
Configure will now optimize the binary for the native architecture.

- WARNING: this changes the standard setting to result in binaries which are not necessarily distributable
   the change is experimental, and the semantic of the added option needs probably to be inverted later, i.e., replacing --for-distribution by --enable-native-opt or something simlar

smarr/OmniVM,smarr/OmniVM,smarr/OmniVM,smarr/OmniVM,smarr/OmniVM,smarr/OmniVM,smarr/OmniVM,smarr/OmniVM