Verify, clarify, document, that <boost/config/user.hpp> can be used to specify BOOST_FILESYSTEM_VERSION. Fixes #4891.