Support CUDA host-side execution

[eyalroz]

Allow the printf library to be used in host-side CUDA code (built with nvcc).

This probably doesn't need much real work, but - some warning-avoidance may be necessary, plus a test suite (maybe just replicate the existing one for starters?)