WYOCL: Added benchmarking code
WYOCL: Updated benchmarking output, updated benchmarks
Merge branch 'devel-gpu' of https://github.com/melbyruarus/Whiley into devel-gpu