gui-0.8.0

Release 0.8.0

Some bug fixes and new features, among them:

- No more dialogs in the bisection
- Use by default approximated builds when possible

See the changelog post for details.