Add travis CI support with the right 32-bit libraries needed for spcomp this time.