Configure Travis-CI to get Boost version > 1.47.