Simple script to download or-tools.