Installing spim on travis before tests run.