Optimize SVG for smaller file size.

A small cleanup with [SVGO][1]. Cut size of all `.svg`s in half, from 5.7KB to 2.8KB.

Not a massive savings, but it's probably good to know such tool exists.

[1]: https://github.com/svg/svgo