Update benchmark.py

Fixing CompilerWarning: <program source>: warning: double precision constant requires cl_khr_fp64, casting to single precision
An application that wants to use double will need to include the directive before any double precision data type is declared in the kernel code.