A successful options trader says these are his top picks for AI tools, and how regular investors can use them