Flexible GUI

Fix #73: loaders and tools are set in the applauncher.