KCG Holdings Hires Former 3Red Trading Chief Technology Officer