Fix settings menu

Stop building settings menu dynamically and hardcode it in a component.

Fixes setting menu language not being updated when changing it, as well as an issue in Preferences.

Also runs Prettier and adds it in CI.