AFAIK, this is not possible in the robots.txt.

Once we fully support https in production, we can change this to https. It's for robots only, so shouldn't be too problematic.