Updated optlang SHA in requirements.txt