refactor(util/name): move string_to_name to name module
feat(shell): add -D command line option for setting configuration options, closes #130

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(shell): add -D command line option for setting configuration options, closes #130