Update servertools for github move

Change-Id: I5f1e2eefc83ff20387dfc6a4856d713da70e667c
2 files changed