travis: try installing boost from apt