IPXE Crypto - HTTPS support

[richiejp]

Allow IPXE firmware to use HTTPS when downloading the kernel and initrd.

https://ipxe.org/crypto

[frankenmichl]

This totally makes sense. I think we should let an WSGI webserver run the entire https, and just serve this service as application. However, I'm not yet sure what needs to be done for this.