Added generated koan files