Optimize logo SVG (#83)

The logo SVG had an incredible number of extra shapes that have hardly
any effect on the visible image, or even none at all. Removing them
makes the file 100x smaller. It was previously as big as the entire
MicroPython interpreter.

Author: tbodt