Revert "add scripts to support imoseyon/leanKernel"

This reverts commit e093800ee49365188830dab7a2d69141d2aaeb4b.