[PATCH v3] http: Allow use of non-standard TCP/IP ports

Allow the use of HTTP servers listening on ports other 80. This is done with an extension to the http notation: (http[,server[,port]]) - or - (http[,server[:port]]) Signed-off-by: Stephen Balousek --- Thanks for that, Daniel. Sorry to have so much trouble making sense of grub_strtoul()!

[PATCH v2] http: parse HTTP headers case-insensitive

According to https://www.ietf.org/rfc/rfc2616.txt 4.2, header names shall be case insensitive and we are now forced to read headers like "Content-Length" capitalized. The problem with that is when a HTTP server responds with a "content-length" header in lowercase, GRUB gets stuck because HTTP modu