Add the ability to add a custom user-facing name to configs

[xpple]

Currently, because names of configs are in direct correspondence with fields in the configs class, some config names are unsupported. In particular those that are not legal identifiers. This limitation is in a sense a leaky abstraction, which can be fixed.