Improve the aspect of the language selection menu

Use a menu with links instead of a <select>, so that:

• the look is more consistent with the rest of the header, and

• the fix for can work for language switching as well ().