Added a recursive function to check if a list contains elements.
Merge branch 'master' of https://github.com/samminweng/WhileyOpenCL.git
Added the Translator to do the bound analysis or the code generator.