updated libsequence 1.7.6 to 1.8.0, added HEAD

This update is necessary so that libsequence installs — the 1.7.6 link is now dead.