Nasdaq OMX will launch option on U.S. Treasury securities.