use SystemOnTPTP.list_systems from Isabelle/Scala, with dynamic URL option and more elementary error messages;