SSH key interface improved. Invalid keys can no longer be pushed.
Merge branch 'master' of github.com:devhub-tud/DevHub into add-ssh-key-in-web-ui
Also limiting length of key name.
Merge pull request #109 from devhub-tud/add-ssh-key-in-web-ui

SSH key interface improved. Invalid keys can no longer be pushed.