[Feature Request]Add multiple options

[math-feng]

Add two more as alternatives to the texify add server address option, because sometimes the first one doesn't work so you can quickly switch to the second one.

[Hugo-Persson]

Maybe some sort of fallback logic? We could auto switch if the first one fails? Maybe also fallback between the providers? Would that be a good solution @math-feng ?

[math-feng]

Whether or not it will automatically fall back doesn't matter to me, I'd just like to add at least one more location where I can store the server's address so it's easy to switch.