srcomp is now in another repo

It's a library for use within many things.