Gravar-mail: Algorithm discovery by protein folding game players