Move a library/tools to libkrate git