Fixing date format issues with HTTP headers

Apparently sometimes the %B is not the correct format. As this happened
recently, maybe whatever is generating the Date: header server-side is
not abbreviating June to Jun (as per %B format) even though it uses
short forms for the other months. Another possibility is that they
recently changed the date format as delivered from the server.

Either way, this work-around will parse whichever format shows up.
Better environment file

Better than just creating an alias that sets up the environment, then
runs the command, is to just globally setup the environment. Now I just
need to source this file to get my environment in working order and I
don't have to worry about anything else.