At first glance, the unusual options activity for Kroger (KR) doesn’t seem all that remarkable. On Friday, total options ...