[RUNTIME][OPENCL] show correct device type name

[kazum]

Show the correct OpenCL device type name in the output log. For example, we get the below output when we run TVM on AWS F1, but opencl(n) should be sdaccel(n) here.

$ python -m nose -vs tests/python/integration/test_ewise_fpga.py
test_ewise_fpga.test_exp ... [18:02:00] /home/centos/src/project_data/tvm/src/runtime/opencl/opencl_device_api.cc:255: Initialize OpenCL platform 'Xilinx'
[18:02:00] /home/centos/src/project_data/tvm/src/runtime/opencl/opencl_device_api.cc:276: opencl(0)='xilinx_aws-vu9p-f1_dynamic_5_0' cl_device_id=0x1c77c30
[18:02:00] /home/centos/src/project_data/tvm/src/runtime/opencl/opencl_device_api.cc:276: opencl(1)='xilinx_aws-vu9p-f1_dynamic_5_0' cl_device_id=0x1c73fc0
[18:02:00] /home/centos/src/project_data/tvm/src/runtime/opencl/opencl_device_api.cc:276: opencl(2)='xilinx_aws-vu9p-f1_dynamic_5_0' cl_device_id=0x1c76c30
[18:02:00] /home/centos/src/project_data/tvm/src/runtime/opencl/opencl_device_api.cc:276: opencl(3)='xilinx_aws-vu9p-f1_dynamic_5_0' cl_device_id=0x1c756f0

...

[tqchen]

please request reviews from the reviewers

[kazum]

@tqchen @tmoreau89 @comaniac Can you please review this PR?

[tqchen]

there is a bit problem with ci, please push to retrigger build