[v3] update std::launch enum

[Jonathan Wakely <jwakely dot gcc at gmail dot com>]

This updates the std::launch enum to match the FDIS.

2011-05-28  Jonathan Wakely  <jwakely.gcc@gmail.com>

	* include/std/future (launch): Update enumerators and define
	operators required for bitmask type. Remove trailing whitespace.
	* src/future.cc: Remove trailing whitespace.
	* testsuite/30_threads/async/any.cc: Adjust.
	* testsuite/30_threads/async/sync.cc: Adjust.
        * testsuite/30_threads/async/launch.cc: New.

I considered keeping the old enumerators "sync" (with the value of
deferred) and "any" (with the value "async|deferred") for backward
compatibility but decided against it.

Tested x86_64-linux, committed to trunk.

Attachment: future-launch.txt
Description: Text document