Update CorsixTH sources
Fix missing configuration option
Update CorsixTH scripts