package names: standardize, put in tower frontend.

Depends on merging https://github.com/GaloisInc/tower/pull/7 first (will fail on Travis until that is merged).