Homebrew tap for ARGoS3