Code and QoL

A better code editor, theme overrides, and prettier achievements.

We've got a much better code experience, try it out in the strategy builder.

You can choose a theme now! Previously you got your system's preferred theme but now it's up to you.

Wow, those really are gorgeous.