Elevantalet vid den gamlaskeppsbygggeriskolan