HTTP date formatting function is implemented without Hunchentoot