Add option to tail over ssh, and improve nginx filter