Update liquid-fixpoint.cabal authors