need another way to get server config to client
change to https url
Merge branch 'NSDIdemo' of git://g.csail.mit.edu/mylar