Merge branch 'master' into flags-refactor

There were just simple conflicts in NEWS and docs.
11 jobs for flags-refactor in 4 minutes and 39 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
failed #74252
amd64 linux docker
build:linux:amd64

00:00:21

passed #33725
docker linux amd64
build:linux:amd64

00:00:26

canceled #73152
amd64 linux docker
build:linux:amd64

canceled #73021
amd64 linux docker
build:linux:amd64

failed #73313
amd64 linux docker
build:linux:amd64

00:00:10

 
  Test
failed #73405
amd64 linux docker
deckard:linux:amd64

00:01:21

passed #34015
amd64 linux docker
respdiff:linux:amd64

00:02:13

passed #33726
docker linux amd64
test:linux:amd64

00:00:41

passed #33727
docker linux amd64
deckard:linux:amd64

00:03:18

canceled #73236
amd64 linux docker
deckard:linux:amd64

passed #33728
docker linux amd64
respdiff:linux:amd64

00:02:13

 
Name Stage Failure
failed
deckard:linux:amd64 Test There is an unknown failure, please try again
Running with gitlab-runner 10.1.0 (c1ecf97f)
on gitlab-ci.labs.nic.cz (e35b67ff)
Using Docker executor with image cznic/ubuntu:16.04 ...
Using docker image sha256:d2c6bc290aa78a095a94a399cf35b0e9c4fe70e9e2f41f767bace297dc61d3d9 for predefined container...
Pulling docker image cznic/ubuntu:16.04 ...
Using docker image cznic/ubuntu:16.04 ID=sha256:3ab862a7b85ee6bc3a3ee69ec249785a5ee8024e89cc1a9385b6ce756567953a for build container...
ERROR: Job failed (system failure): Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?
failed
build:linux:amd64 Build There is an unknown failure, please try again
Using Docker executor with image cznic/ubuntu:16.04 ...
Using docker image sha256:d2c6bc290aa78a095a94a399cf35b0e9c4fe70e9e2f41f767bace297dc61d3d9 for predefined container...
ERROR: Preparation failed: Error response from daemon: Conflict. The container name "/runner-e35b67ff-project-147-concurrent-0-predefined" is already in use by container "9826db4ff5b0717f521e14609324626cc42eedde0d8e1065e7b921fa32d3483f". You have to remove (or rename) that container to be able to reuse that name.
Will be retried in 3s ...
Using Docker executor with image cznic/ubuntu:16.04 ...
Using docker image sha256:d2c6bc290aa78a095a94a399cf35b0e9c4fe70e9e2f41f767bace297dc61d3d9 for predefined container...
ERROR: Preparation failed: Error response from daemon: Conflict. The container name "/runner-e35b67ff-project-147-concurrent-0-predefined" is already in use by container "9826db4ff5b0717f521e14609324626cc42eedde0d8e1065e7b921fa32d3483f". You have to remove (or rename) that container to be able to reuse that name.
Will be retried in 3s ...
ERROR: Job failed (system failure): Error response from daemon: Conflict. The container name "/runner-e35b67ff-project-147-concurrent-0-predefined" is already in use by container "9826db4ff5b0717f521e14609324626cc42eedde0d8e1065e7b921fa32d3483f". You have to remove (or rename) that container to be able to reuse that name.