Avgrund is now part of mart

no need to keep Avgrund files in library