server names read from file instead of hand-coded
server names read from file instead of hand-coded

xiaohan2012/twitter-sent-dnn,sk413025/twitter-sent-dnn,sk413025/twitter-sent-dnn,xiaohan2012/twitter-sent-dnn