formalization of SW alignment in Coq

Updated specifications of Smith-Waterman local alignment