Update sol. Replace combined sol.hpp with loose files.
Release version of sol.hpp
is merged from many files.
Here I update sol and replace it with a non-merged version in order to make it patchable (needed for #6698).
Release version of sol.hpp
is merged from many files.
Here I update sol and replace it with a non-merged version in order to make it patchable (needed for #6698).