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

Very simple, very useful.

Change-Id: Icd3d992aaad3116fd09164e2e003619677d051bb
(cherry picked from commit 871875bed4b21e3b17d22046e121bf4e434b804b)