뉴욕 증권 거래소, 메인 시스템 리눅스로 전환