Implemented cuDNN softmax but it is not currently passing tests.

All Theano tests should work with both floatx=float32 and float64. As this code only support float32 for now, the dtype should be fixed to float32 (and so don't use floatx dtype)