changes in function replace_extension
changes in function replace_extension

before, filenames like "../file.c" were changed to ".btor2" instead of "../file.btor2"
cksystemsteaching/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie