jormungandr: use https in requirements.txt for CI server