20130701 tech.social: Boredom drives trolls on Facebook and Twitter