Aladdin (pièce de théâtre)