Update user manual to note that implementation for C++11 and C++1y is complete, and fix a bunch of other issues here.