Add gringo and objc-run