British company is building software to eradicate contrails