Enable coverage builds again.
Merge pull request #602 from jonas054/enable_coveralls_again

Enable coverage builds again.