Convert build scripts to Kotlin#396

zcai1 wants to merge 3 commits intoopprop:masteropprop/checker-framework-inference:masterfrom

zcai1:convert-build-scripts-to-kotlinzcai1/checker-framework-inference:convert-build-scripts-to-kotlinCopy head branch name to clipboard