Fixing issue-717 and removing unnecessary pipe character from grader submission navigation bar