updated for changes in pyopencl v2013.2, use int_ptr instead of obj_ptr
Update docs, remove outdated benchmark.py