turn off CI for the spare servers
turn off CI for the spare servers

3 servers should be enough for this semester.

Signed-off-by: Mark McCahill <e3696564e7a7433e50b70b6d9fcacd26c7505e6a@duke.edu>

mccahill/docker-rstudio,mccahill/docker-rstudio