Given the opencl cat file a good going-over. Small adjustments to dumptex and model lexing functionality along the way.
Merge branch 'master' of https://github.com/herd/herdtools
Merge branch 'master' of https://github.com/herd/herdtools