Derek Mason announced on social media Thursday that he is stepping down as Oklahoma State’s defensive coordinator and taking a sabbatical from coaching football. Mason…