Here's what the five biggest option-trading funds did last quarter.For more, please login or subscribe