libsequence 1.8.0

updated libsequence 1.7.6 to 1.8.0, added HEAD

Closes #637