progress bar dispalys numbers now, trophy beside progress bar to see what kind of challenge the user is doing, reordered tropies, added disclaimer if no trophy has been achieved or if all trophies have been achieved, improved sql query to get both results at once, improved layout

language search working, format search working, instant search working -> some tests still failing need to check that

gitsearchApp to gitSearchV2App :-(

This makes displaying metadata of an exercise
less verbose. Styling is a bit lacking as of now.

Restructure metadata translations of lists
to make declarations more concise.