Hedonometer: Average Happiness of Twitter over Time