Removed IBIS tools (they're now a separate repository)