Drop include of obsolete Boost header filesystem/convenience.hpp

Marco Clemencicrequested to merge
run2/fix-for-boost-1-85 into run2-patches

run2-patches version of !4600 (merged)

Edited by Marco Clemencic

Merge request reports