Servers are available for testing during development, running the code on your own computer - the CI server is useful in that it verifies that your code compiles and runs on the linux machine used during the competition.
During the finals yes. The qualifying round is run with standardized virtual linux boxes, so all bots must have the same build and run scripts. With the amount of participants we're expecting, it wouldn't be possible to run the competitions manually.
