Norges extra ordinarie försvars budget blef i fredagsuppgjord