Handle h2t_repo.list on lab pcs

data/modules/apt/h2t-ppa.sh

 #! /bin/bash
 
-file="/etc/apt/sources.list.d/h2t.list"
+directory="/etc/apt/sources.list.d"
+file="$directory/h2t.list"
+alt="$directory/h2t_repo.list"
 
-if ! [ -e "$file" ]; then
+if ! [ -e "$file" ] || [ -e "$alt" ]; then
   wget -O /tmp/h2t-key.pub https://packages.humanoids.kit.edu/h2t-key.pub
   sudo apt-key add /tmp/h2t-key.pub
   rm /tmp/h2t-key.pub