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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information