travis: specify boost version