configure: understand (but ignore) the standard configure arguments
configure: understand (but ignore) the standard configure arguments

These are the ones provided by (eg) CentOS 6's .spec %configure macro:

  ./configure --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu
              --target=x86_64-redhat-linux-gnu --program-prefix= --prefix=/usr
              --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin
              --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include
              --libdir=/usr/lib64 --libexecdir=/usr/libexec
              --localstatedir=/var --sharedstatedir=/var/lib
              --mandir=/usr/share/man --infodir=/usr/share/info

Signed-off-by: David Scott <63c9eb0ea83039690fefa11afe17873ba8278a56@eu.citrix.com>

djs55/ocaml-vchan,samoht/ocaml-vchan,djs55/ocaml-vchan,mirage/ocaml-vchan,mirage/ocaml-vchan,samoht/ocaml-vchan,djs55/ocaml-vchan,samoht/ocaml-vchan,mirage/ocaml-vchan