Official Nvidia PTX Backend in LLVM trunk

Clarification: this is the official backend Nvidia pledged to open source a few months ago. Exciting times.