[cmake] Switch to latexmk

Drop makeindex and printindex, as no
entries are defined and it broke latexmk.
6 jobs from feature/uselatexmk in 13 minutes and 12 seconds (queued for 7 seconds)
latest
Status Job ID Name Coverage
  Test
failed #74102
duneci
debian:10 clang-7-libcpp-17

00:00:32

passed #74101
duneci
debian:10 gcc-8-noassert-17

00:13:12

failed #74104
duneci
debian:9 clang-3.8-14

00:04:48

passed #74103
duneci
debian:9 gcc-6-14

00:09:40

passed #74105
duneci
ubuntu:16.04 gcc-5-14

00:08:55

failed #74106
duneci
ubuntu:18.04 clang-6-17

00:02:43

 
Name Stage Failure
failed
debian:9 clang-3.8-14 Test There has been a runner system failure, please try again
scheduler: info: Starting job 40411 on slave01.parcomp at Thu Dec 20 00:06:23 CET 2018
Running build with timeout: 1h0m0s
Using Docker executor with image registry.dune-project.org/docker/ci/debian:9 ...
Pulling docker image registry.dune-project.org/docker/ci/service/gitlab-runner-helper:x86_64 ...
Using docker image sha256:fa2d819abe6d78654a4d9849b290455e94d58e3a17cabafc52864bad850b7999 for registry.dune-project.org/docker/ci/service/gitlab-runner-helper:x86_64 ...
ERROR: Failed to create container volume for /cache Error response from daemon: Conflict. The container name "/runner-c87abe34-project-139-concurrent-1-cache-3c3f060a0374fc8bc39395164f415a70" is already in use by container "9dbbe69236f196b44e1451af983a0b133eba166159f9660cd682292b9a0aa295". You have to remove (or rename) that container to be able to reuse that name.
ERROR: Preparation failed: Error response from daemon: Conflict. The container name "/runner-c87abe34-project-139-concurrent-1-cache-3c3f060a0374fc8bc39395164f415a70" is already in use by container "9dbbe69236f196b44e1451af983a0b133eba166159f9660cd682292b9a0aa295". 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-c87abe34-project-139-concurrent-1-cache-3c3f060a0374fc8bc39395164f415a70" is already in use by container "9dbbe69236f196b44e1451af983a0b133eba166159f9660cd682292b9a0aa295". You have to remove (or rename) that container to be able to reuse that name.
failed
ubuntu:18.04 clang-6-17 Test There has been a runner system failure, please try again
scheduler: info: Starting job 40409 on slave01.parcomp at Thu Dec 20 00:04:18 CET 2018
Running build with timeout: 1h0m0s
Using Docker executor with image registry.dune-project.org/docker/ci/ubuntu:18.04 ...
Pulling docker image registry.dune-project.org/docker/ci/service/gitlab-runner-helper:x86_64 ...
Using docker image sha256:fa2d819abe6d78654a4d9849b290455e94d58e3a17cabafc52864bad850b7999 for registry.dune-project.org/docker/ci/service/gitlab-runner-helper:x86_64 ...
ERROR: Failed to create container volume for /cache Error response from daemon: Conflict. The container name "/runner-c87abe34-project-139-concurrent-2-cache-3c3f060a0374fc8bc39395164f415a70" is already in use by container "aa58778610ec71a948fe54977902d8dd28a66a3ecf7b17007a7e34ce8c53564e". You have to remove (or rename) that container to be able to reuse that name.
ERROR: Preparation failed: Error response from daemon: Conflict. The container name "/runner-c87abe34-project-139-concurrent-2-cache-3c3f060a0374fc8bc39395164f415a70" is already in use by container "aa58778610ec71a948fe54977902d8dd28a66a3ecf7b17007a7e34ce8c53564e". 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-c87abe34-project-139-concurrent-2-cache-3c3f060a0374fc8bc39395164f415a70" is already in use by container "aa58778610ec71a948fe54977902d8dd28a66a3ecf7b17007a7e34ce8c53564e". You have to remove (or rename) that container to be able to reuse that name.
failed
debian:10 clang-7-libcpp-17 Test There has been a runner system failure, please try again
scheduler: info: Starting job 40405 on slave01.parcomp at Thu Dec 20 00:02:18 CET 2018
Running build with timeout: 1h0m0s
Using Docker executor with image registry.dune-project.org/docker/ci/debian:10 ...
Pulling docker image registry.dune-project.org/docker/ci/service/gitlab-runner-helper:x86_64 ...
Using docker image sha256:fa2d819abe6d78654a4d9849b290455e94d58e3a17cabafc52864bad850b7999 for registry.dune-project.org/docker/ci/service/gitlab-runner-helper:x86_64 ...
Pulling docker image registry.dune-project.org/docker/ci/debian:10 ...
Using docker image sha256:80844f8a0d2414effe11181488b4845f3652c28ffe28ff535af3dc6bdb757e40 for registry.dune-project.org/docker/ci/debian:10 ...
Running on hd-2c-8g-1h via donkey.parcomp...
ERROR: Job failed (system failure): Cannot connect to the Docker daemon at tcp://slave01.parcomp:2376. Is the docker daemon running?