High frequency trading gets such a bad wrap. It's the most pro social form of trading