Merge branch 'gitlab_coverage' into 'master'

Fixed failed coverage for coveralls.io. Adding coverage report for Gitlab.

See merge request !46