replace cobra with coder/serpent

[matifali]

          Should this be replaced with https://github.com/coder/serpent ?

cc: @ammario

Originally posted by @matifali in #40 (comment)