TeamCity ci server

[Paul King]

I upgraded the TeamCity CI server to the latest version - let me know if
you spot anything weird.

Cheers, Paul.