Insiders at Red Hat and CarMax are among the latest to trim stakes. Barrons.com’s John Kimelman reports.