archlinux PKGBUILD for the player network server for robotics