Added Button constructor code to correctly change some Label properties.

That means back_height and text_height. Both were not being propagated
to the Label when set with the constructor. It's a horrible method, but
it can always be made better later. TODO: do that.
Added a MenuGameState. Update ppm.cpp to use it.