Install boost on Travis-CI