Add Bison and change LatexTool preferences name