Editing deploy options for travis, and disabling coveralls from local tests