Umstellung auf Travis-CI