r8582: added sys.httptime() call, to display a NTTIME as a http time string