Please merge in the commit history from argbin/svgtex

I discussed this with @physikerwelt, and he agreed that it should be done.  This does not change any files whatsoever -- it just updates the commit history to reflect the fact that this repository has all the latest changes from agrbin/svgtex.  It's important so that the list of committers is correct.