The revenue figure more than doubled from a year earlier, according to people with knowledge of the matter, pushing Jane Street's first-half trading revenue to an all-time high of $17.3 billion