This accepts data from the updated backend
(from the previous commit) but does not display
any of the new metadata yet.

This is not tested with search results, because I could
not obtain search results locally. Suggestions on the
home page work, but no results are shown in /search

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

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.