travis ci: download and extract boost in one go