package/micropython: change URL to HTTPS
Signed-off-by: J. Neuschäfer <j.neuschaefer@gmx.net>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
(cherry picked from commit ade6e41831c2b1f82028dda9744c6b64907e20ef)
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>