build: Add coverage.py tool that introduces --with-coverage configure option

Change-Id: I1c6eeb71c734ef8b37e06cc5ac3d0b40aef492da