gevent-based RSS/Atom feed aggregator/filter written in Python