Remove the Build menu from the top bar

It's now a dropdown menu in the tabs thingy, which subsumes the "Reproduce locally" button. This makes the actions in the menu a bit more visible, IMHO.

Created by  Eelco Dolstra  on October 2, 2013
JIJDYWPYMZZNFBCWYSYR72RNEW5MSI26MJ5UXXIU7DDX25IBR3CQC
Dependencies
In channels
main
upstream
Change contents