Python script to mine Twitter via the streaming API filtered by a keyword