This had already been asked and answered on Programmers (now deleted). The top answer was a best guess that it came from LaTeX.
A similar question has also been answered on SE English Language & Usage. The top answer was that it was to work around limited character sets, which lacked separate characters for ‘this style of quotation marks’.