Bump optional, redefine nothrow for json11