simplifying gcd code as suggested on reddit
moving lexicographic post back
moving lexicographic post back
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell