Devices: fix wrongly placed assert and device count iteration
create also half float version of select in kernel library
Add option of calling clFinish implicitly, bypassing the command queueing.
Devices: remove malloc operation (superseded by alloc_mem_obj)
Merge branch 'master' of https://github.com/pocl/pocl