Update Theano benchmark instructions

Since a while, the `git pull https://github.com/f0k/Theano corrmm-faster-fullconv` line is no longer needed. (And not working either.)