姜子牙是不是工具人?《封神榜名册》上都没有他