add compressed koans file