Branch choose_tools - commit 5

1. When running gkno update, conf is modified to only include the tools in the
user_settings.