Adding build-tools in Travis script

build-tools is no more preinstalled in Travis, so we have to add it explicitely.