Add badge for GitHub workflow [ci skip]
Add badge for GitHub workflow [ci skip]

and use different badge for Travis CI

hpi-swa/filetreeCI,fniephaus/filetreeCI,hpi-swa/filetreeCI,hpi-swa/smalltalkCI,fniephaus/filetreeCI,hpi-swa/smalltalkCI,hpi-swa/filetreeCI,fniephaus/filetreeCI