Replace all occurrences of std_cxx1x by std_cxx11.

Keep the old files and namespace for backward compatibility.
What about also renaming the header file?
I mean, the rename is already an incompatibility, it doesn't get worse by renaming <code>std_cxx1x.h</code>