fixed the configure file to support vector instructions for the Octagon library, thanks to tobia zimmermann for pointing out
fixed the configure file to support vector instructions for the Octagon library, thanks to tobia zimmermann for pointing out

eth-srl/OptOctagon,eth-srl/OptOctagon,eth-srl/OptOctagon