Bump gtksourceview requirement
Rework the headerbar according to the latest mockups

 - restore 3.12 order on the left (since we are not 100% sure let's
   not shuffle things just for the sake of it)
 - use "Save" in text, since usability testing showed that the icon
   is not intuitive