Implemented taxes + GuiNumberbox

Buildings can now pay taxes. A new gui makes it possible to change the
taxes factor. Also, it uses a new GuiElement, the GuiNumberbox. It can
be used to change integer values by clicking on up or down arrow
buttons.