marmalade is now on HTTPS, so switch to that in the guides