Gravar-mail: Algorithms for automated DNA assembly