Norge med nye millioner til kampen mot IS