add miktex and texmaker