The ASTRI Mini-Array Software System