Update to angular-ui bootstrap v0.8.0.
Show solver progress, fixes #1.