added option --cover-omit to cover.py

--cover-omit support Issue #515