Change name of server executable in README