deadsimple phpfile which allows grepping on logfiles using a browser (handy for collegues e.g.)