Bump to version 0.7 prior to next release.
Some GUI fixes to prevent the zero-sizing of widgets.