opencl: fix for non-floor division in Python3

In Python 3, the / operator has changed its behaviour. The // operator
has been around in Python forever, use it instead. For good measure,
import the non-floor / operator to catch further abuses in Python 2 too.