TweetDeck is bought by Twitter for $40 millon