Revert "add scripts to support imoseyon/leanKernel"

This reverts commit 28cc18c779db00a9416720d1865176a1fc598012.