Update Travis CI badge [ci skip]
Update Travis CI badge [ci skip]

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