No description provided.
switch to run.sh for Travis CI
As a side effect, we now use 'trusty' aka 14.04, and that is why we timed out in the first Travis attempt. The one package we get from my PPA had just been built for Travis, but was not yet "published".
Comments? I plan to fold it in by tomorrow. Should not bite.