grep 2.20

Update to latest stable release and use HTTPS on homepage and mirror.