[B.A.T.M.A.N.] [PATCH] openwrt-feed-batman-adv: Switch to HTTPS version of links