New tool: kernel, front-end to Rudi's kernel filtering code.