Ticket #3386. Updating of header files. nvml.h has been converted into
nvml_stub.h and the contents of cuda_header_doc.h have been reordered to
represent accurately the struct cudaDeviceProp.