Add CorsixTH; closes #46