Complete renaming the library to satyr

Symbol prefix changed from btp_ to sr_.