Historic Stroud Lido may reopen as repair costs approved