Boost: fix deprecated headers progress.hpp and timer.hpp
The following deprecated boost headers are used by DistAIX
boost/progress.hpp
boost/timer.hpp
They should be replaced by the facilities provided in
boost/timer/timer.hpp
and/ or
boost/timer/progress_display.hpp