support for renaming lists and including domain

mm2sympa.sh

@@ -11,8 +11,12 @@ if [ -z "$mailmanlist" ]; then
 fi
 mmlistname=${mailmanlist%@*}
 mmdomain=${mailmanlist#*@}
-robot=${mmdomain/lists/sympa}
 sympalistname=$mmlistname
+robot=${mmdomain/lists/sympa}
+if [ -n "$2" ]; then
+    sympalistname=${2%@*}
+    robot=${2#*@}
+fi
 mmarchive=/var/lib/mailman/archives/private/$mmlistname.mbox/$mmlistname.mbox
 
 if [ ! -f "/etc/sympa/$robot/robot.conf" ]; then