Hardcode names

Merge request for master: most changes are aadl-specific, with one change in the tower front-end, to export standard names for the "tower_user", "tower_gen", and loop function. (I decided against trying to pull more of the packaging functionality into the front-end.)