Charles Lindsay, AIR programme at the SETI Institute