Use travis

Since we currently can not install necessary os-packages on jenkins we use travis for now.