HappyDB: A Corpus of 100,000 Crowdsourced Happy Moments Categorization - View it on GitHub