[PATCH] gitweb: Clean-up sorting of project list