Wip ui redesign headerbar
Created by: mjourdan
Please review those patches for some cosmetic glitches listed on #356 (closed). Fixing GtkEntry width requires gtk+ 3.12. As gtk+ 3.14 will be shipped with most distros by the time our makeover will be released, let's bump to this version instead.