Update the options of why3.
Update princess to 2013-09-06.
why3ide depends on lablgtk2 with-gtksourceview2