Rename workers into agents. Fix #81.