Theano benchmark: Allow specifying the configurations to benchmark on command line