Get rid of duplicate CI task now that rubocop is part of default task.