renaming coordintor debian package to arbiter. added manpage for arbiter