Right now buttons to run/compile/upgrade/stress are shown always, even when we are not in a problem/contest. There are check marks to enable/disable this button, but by default they should not be shown if not in a problem/contest workspace.