fixed progress bar, update to fixpoint master
fixed progress bar, update to fixpoint master

abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell