Using a custom FlagSet and testing ServerMain for bonus points