flexibly seek latexmls in PATH, when not locally available