Add language selector to navbar

Note: this button shows up only if the number of enabled languages is not 1, so it's safe to deploy on production even before !905 is merged.