layout: Implement `box-sizing: border-box`.

Improves GitHub.
auto merge of #3556 : pcwalton/servo/box-sizing, r=SimonSapin

Improves GitHub.