In a Tumblr post, Yahoo’s CEO said she is forgoing her bonus. But the company’s SEC filing reveals a different story.