wvtool: Implement --summary mode
wvtool: Improve text of implicit headings
Use wvtool run instead of wvtestrun
wvtool: Add docstring