Shell and Microsoft have created a system for gas stations that can spot someone who’s smoking or about to smoke.