remove duplicated solver glueminisat_1:2014

From Docker images built last year, both binaries are identical:
f8782a9390062daa3007595722af9291  ./glueminisat-2014/glueminisat/glueminisat-simp
f8782a9390062daa3007595722af9291  ./glueminisat_1-2014/glueminisat/glueminisat-simp

2 2011 solvers now works

start 2011 solvers

Merge branch 'master' of https://github.com/sat-heritage/docker-images

satex 0.96

validations

validations

satex version

init