travis: use versioned archive for theano