Update coverage tools. Checking if it works on Travis fine.