Move coverage output dir for Jenkins.

* tox.ini: Set the coverage html output dir to {toxinidir}/cover so that
Jenkins can find it and upload the coverage to the log server.

Change-Id: I231485ce46b1ef91eb219e63552203b86d6d65c2
Merge "Move coverage output dir for Jenkins."