Simple RSS filtering server based on Play framework.