Moved some forgotten files properly to libknotcs