So, ich habe es jetzt geschaff, alle Buttons richtig zu konfigurieren. Tipps dazu habe ich hier gefunden. Der Trick war zum Einen, statt "ImPS/2" das "ExplorerPS/2"-Protokoll zu verwenden, da das immerhin schon 5 Buttons plus Rad vorsieht, und zum Zweiten, das Mausrad nicht auf 4 und 5 sondern auf 6 und 7 zu mappen, um es hinterher mit xmodmap wieder auf 4 und 5 umzudefinieren. Das musste sein, da die Extrabuttons und das Mausrad sonst die gleichen Events senden.
Jetzt muessen wir nur noch format_c's Maus zum Laufen kriegen, dann ist unser Ziel erreicht :)