Add the correct external deps in Travis scripts for zarith