Allen’s bunt the difference as Gloucester tops Marblehead despite being no-hit