mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities

Very simple, very useful.

Change-Id: Icd3d992aaad3116fd09164e2e003619677d051bb
Merge "mediawiki.mixins: Move .box-sizing mixin from mediawiki.ui utilities"