Multiple device: add probing function and factorize code for device query
Multi device: change the way driver parameters are designated
Merge branch 'multidev' of github.com:clementleger/pocl
Missing include
Fix device.h for C++ drivers.