Replace all occurrences of std_cxx1x by std_cxx11.

Keep the old files and namespace for backward compatibility.
What about an additional entry in <code>doc/news/changes.h</code>?