CI PR #2: Fix GitHub CI and add checks to compensate for code coverage#144

bernhardkaindl merged 2 commits intomasterxenserver/python-libs:masterfrom

fix-github-ci-drop-old-versions-add-coveragexenserver/python-libs:fix-github-ci-drop-old-versions-add-coverageCopy head branch name to clipboard