Allow to choose build server

[niccokunzmann]

In build-servers.js we choose a server automatically.
There should be a drop down menu with the servers so we can manually choose.