update docker name

1 job for master in 11 minutes and 30 seconds (queued for 7 minutes and 35 seconds)
Status Job ID Name Coverage
  Test
failed #10892
triggered
build-stable

00:11:30

 
Name Stage Failure
failed
build-stable Test
Connecting to sourceforge.net (sourceforge.net)|216.105.38.13|:80... connected.
HTTP request sent, awaiting response...
301 Moved Permanently
Location: https://sourceforge.net/projects/ltl3ba/files/ltl3ba/1.1/ltl3ba-1.1.3.tar.gz [following]
--2018-06-26 14:52:50-- https://sourceforge.net/projects/ltl3ba/files/ltl3ba/1.1/ltl3ba-1.1.3.tar.gz
Connecting to sourceforge.net (sourceforge.net)|216.105.38.13|:443... connected.
GnuTLS: Error in the pull function.
Unable to establish SSL connection.
The command '/bin/sh -c cd /tmp && ./install.sh && rm -f install.sh' returned a non-zero code: 4
ERROR: Job failed: exit code 4