0.12.7dev: version info for `coverage` and `figleaf` added in `make_status.py`

git-svn-id: http://trac.edgewall.org/intertrac/log:/branches/0.12-stable@13411 af82e41b-90c4-0310-8c96-b1721e28e2e2
1.0.3dev: merged [13411] from 0.12-stable (`figleaf` and `coverage` in `make status`)

git-svn-id: http://trac.edgewall.org/intertrac/log:/branches/1.0-stable@13412 af82e41b-90c4-0310-8c96-b1721e28e2e2