Build/Travis: more improvements, new script.