Theano travis

See https://github.com/sympy/sympy/pull/2370

This is just that with a merge onto the current master.