Rename role name of worker from Server to Manager

For now, `Worker` has two roles: `Server` and `Agent`. `Server` indicates `Worker` who did task distribution and `Agent` handle the task indeed.

However, `Server` would be easy to misunderstand for a `Worker`. So, I suggest to rename role `Server` into `Manager`.