Python script to mine Twitter using the Twitter Streaming API filtered on a keyword