Update name of .jar in debian/jabref.{install,links}.