To install the ArcheNova extension, put the following line in LocalSettings.php:

require_once( "$IP/extensions/ISArcheNova/ArcheNova.php" );