Merge "Switch linter jobs to ubuntu 18.04 minion by default"