Remove some dead CI configurations.