Why don't we add a travis test with Theano?