Infrastructure: restore silent mode for travis ci