Tweak package.json for travis-CI