ADD AutomaticLaTex as submodule.