Add Docker images to the installation docs

automatic gpu selection no longer works in CUDA-TK 7.0

Enables float16 gemm on gpuarray when the cuda version supports it

This reverts commit 1814576c.

Mixed2

- pycuda initialization was also affected by the bug from CUDA 7.0

- fixing an issue introduced with CUDA-TK 7.0, when automatic selection
  of free gpu by os / library no longer works. Library always selects '0',
  which leads to crash in case of 'exclusive mode'.
- this fix is inspired by Dan Povey's fix for Kaldi:
  https://github.com/kaldi-asr/kaldi/commit/6548565445167e00125848f91d7da5f3f949b2a2
- it does a loop over gpus until a free gpu is taken.

Optimize local_fill_sink

fix shape mismatch in GpuDnnPoolGrad

Implement GpuAdvancedSubtensor1 for gpuarray

elemwise opt

Scan inplace opt

 - it is caused by modification of theano.config.experimental.local_alloc_elemwise_assert in T_local_switch_sink

computer, add one line in the test case to try
to know what happened when it fails