C++11

Reference #1401.

Change much stuff to use new library.
Isn't this Lua-exported?