Several fixes related to how we present target platform in webui

Do not make platform and license key editable for allocated nodes.
Several cleanups.
Use pretty names more often.