Use ligo/base docker images during CI

This PR modifies the travis configuration to use the ligo/base images instead of ligo/software - I am informed that they are much smaller, and so should provide a faster build.