Draft 10

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.

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