Bunch 'o stuff to build more customized PTX

- Change driver to accept PTX file as well as kernel name
- Tweak the CUDA file so it compiles with a clang toolchain
- Add a script that clues the clang toolchain invocation - very crude for now