200k Short Texts for Humor Detection