TensorSolve

Added tensorsolve function.
The tuple of ints will be a vector of ints in Theano. So update that, and cast to a tuple after. assert the dtype is int. and is 1d.

Also, the output isn't a.type. Check what numpy does for each pair of input dtype for a and b.