Improve layout of jury submission page:
- add horizontal space between headings and buttons
- add horizontal and vertical space around submission data line
- consistently place (un)ignore button after heading
Fix to last commit: remove extra line break before judging heading.
Rename problem.php to problems.php for public,team for consistency.
Also check that lib/relations.php exists in edit and delete pages.
Show judgehost last checked in time in more readable format.
Consistent titles for webpages: use ID in HTML title and (short)name
in page heading.
Use problem shortname instead of ID.
First show problem shortname (e.g. letter), then full name.
Fix to 6dc466bc: also consistent titles on executable page.
Reduce line lengths in executable.php and remove unnecessary
'global $DB'.