travis: use script: with before_script: for wget ert.el