Add line coverage as another coverage type (thanks to Simon Labrenz).

The user can now choose between using either line or branch coverage or both by setting the parameter --coverage-metrics to LINE, BRANCH, or LINE,BRANCH. Default value is BRANCH.