Correction to sinol-make doc -> latexmk -> -dvi

[pparys]

Fix to my previous contribution:

• Was: latexmk called with option -pdf, -lualatex, or no option
• Corrected to: latexmk called with option -pdf, -lualatex, or -dvi
• Reason: on some computers (depending on some global configuration options) latexmk without options uses lualatex, not latex. Now I explicitely force latexmk to compile using latex to dvi.
• Additionally I modified the text displayed before compilation, so that the tests should pass (we will see).