Update to use getoptex app from github

getoptex is now a separate dependence.