UI improvements for the rolling deployment#99

claffin wants to merge 2 commits intomainclaffin/cloudproxy:mainfrom

rolling-deployments-improvementsclaffin/cloudproxy:rolling-deployments-improvementsCopy head branch name to clipboard