This forces Travis to run the build on Ubuntu Precise instead of Ubuntu Trusty. 

Reason for doing this: the task executing kodkod tests is being killed in Trusty with out of memory exception.