Replace letsencrypt package with certbot

The letsencrypt package is a transitional package now. It has been renamed to certbot.

(Also consider whether to rename the letsencrypt module to certbot.)