Use lazy translation for building's name/tooltip

objecttranslations.py is now only used for the translation machinery,
but not in the game itself.