show title in problem manage
Merge branch 'dev' of github.com:moreD/Tyche-Online-Judge into dev
Merge branch 'dev' of github.com:moreD/Tyche-Online-Judge into dev