Fix issue #514

Enable coverage plugin if --cover-* is passed.