Case-insensitive headers

This minor release brings case-insensitivity to all use of headers. This only makes a difference when working with headers set from the $_SERVER["HTTP_*"] variables, which include uppercase, underscore-separated values.