Add ability to seed users. Add high-level method to GalaxyProperties to define admin users.