Add OpenCL and CUDA support

* Add language option
* Disable hoister for kernels
* Extract kernel dimensions
Handle GPUVerify/bugle assumes and requires
Use kernel dimensions
Do not model global variables in CUDA and OpenCL
Careful hoisting
Make compile with C++03
Update readme
Error on unknown constant expressions
Use -fno-rtti