Feature - DateTime RFC7231 constant

## Introduction

The [DateTime class][php-datetime] has a set of defined constants for different standard formats. These format constants prove to be really quite helpful in providing a consistent format of date/time strings to date fields, parsers, and formatters.

While most relevant standard "internet" and network message formats have been included here, there is one glaring omission: RFC7231.

[RFC 7231, Section 7.1.1.1][rfc7231-section-7.1.1.1], defines a new "HTTP-date" format to be used in date headers. While similar to previous formats, the format is in fact a new definition, of which is specified in the RFC document.

This PR defines a new DateTime constant for this format.

## Proposal

This PR proposes to add two new constants with the new defined format, to comply with the current format constant definition style:

- `DATE_RFC7231`
- `DateTime::RFC7231`

The defined format of these constants would be identical to each other. In a [PHP date format string][php-date-format], the format would be defined as:

`'D, d M Y H:i:s \G\M\T'`

## Backward Incompatible Changes

Since this would define a single new global constant (`DATE_RFC7231`), this change may effect anyone that's defined their own constant for this format. Hence why I think its most appropriate for this PR to be targeted for PHP.next (PHP 7) in the current master branch.

## Proposed PHP Version(s)

PHP.next (PHP 7)

## Affected PHP Functionality

### To SAPIs

None

### To Existing Extensions

None

### To Opcache

None

### New Constants

Two new constants would be defined here, one class-scoped and one global.

[php-datetime]: http://php.net/manual/en/class.datetime.php
[rfc7231-section-7.1.1.1]: https://tools.ietf.org/html/rfc7231#section-7.1.1.1
[php-date-format]: http://php.net/manual/en/function.date.php#refsect1-function.date-parameters
Do I get that right, that you are changing the internal timezone of the datetime-object? So that would cause the following?

    $dto = new \DateTime('2014-10-31 12:23:34 +02:00');
    echo $dto->getTimezone()->getName(); // output: Etc/GMT+2    
    $dto->format(\DateTime::RFC7231);
    echo $dto->getTimezone()->getName(); // output: Etc/GMT

I wouldn't be comfortable with that! A call to ```format()``` shall output the content of the object but not change it.

I've hacked something together in userland-code that might do exactly what you want. Perhaps you can have a look at it to see whether it suits your needs (http://github.com/heiglandreas/UTCDateTime)