Trac #31531: Update topcom to 1.1.2, fix cddlib header search

Part of #29413.

TOPCOM home page has moved to:

- https://www.wm.uni-bayreuth.de/de/team/rambau_joerg/TOPCOM/

For what's new in 1.1.x, see the changelog at:

- https://www.wm.uni-
bayreuth.de/de/team/rambau_joerg/TOPCOM/ChangeLog.txt

Our 0.17.7 tarball was built using `spkg-src` and deposited in
https://github.com/mkoeppe/topcom; but there is no git repository.

Arch linux already has an 1.1.x package - https://github.com/archlinux
/svntogit-community/blob/packages/topcom/trunk/PKGBUILD

URL: https://trac.sagemath.org/31531
Reported by: mkoeppe
Ticket author(s): Dima Pasechnik
Reviewer(s): Matthias Koeppe

Author: Release Manager

build/pkgs/topcom/checksums.ini

@@ -1,4 +1,5 @@
-tarball=topcom-VERSION.tar.bz2
-sha1=e772365e7115289dfb1f75f28c335ec9d5feb0f1
-md5=117708cc3fdbb3368631c69e3cc95f1c
-cksum=340369649
+tarball=TOPCOM-1_1_2.tgz
+sha1=65db8c00309f3bf8467ee5ba9da109c196db3461
+md5=dbda1ae7946251c9502444ee9b0a2c62
+cksum=1598684291
+upstream_url=https://users.ox.ac.uk/~coml0531/tmp/TOPCOM-1_1_2.tgz

build/pkgs/topcom/package-version.txt

@@ -1 +1 @@
-0.17.7
+1.1.2