Switch to https. Fix #12.