[Pkg-opencl-devel] Bug#820480: pocl: New version pocl 0.13

[Matthias Klose]

Control: tags -1 + patch

fyi, I upgraded the package here:
https://launchpad.net/ubuntu/+source/pocl/0.13-0ubuntu2

As mentioned in #823528, you might want to introduce some new binary package, or 
rename the library package. I think some symbols were lost too in 0.13.

I haven't checked if the glibc-2.23 fix works this way with 2.22.