allow comma seperated options, check taht options are valid
honor ignore_re with .giv files
add/fix links
Fix some nits with improve-coverage-option patch.