Draft 17

github: use dedicated latex image

Installing all the latext tools from scratch takes some time and can
time out. Lets use an image that already has all the bits. The
texlive-full image is based on Alpin and we need to install a few
helper tools for build.

Signed-off-by: Alex Bennée <alex.bennee@linaro.org>