Continuous Integration for KIF