Device-DB: Added NVIDIA Tesla K20m.