Obsolete check for libart removed from configure.ac and debian/control