Options names former NYSE Euronext exec as managing director for Europe