Rename 1.1 checkerboardKarel to 1.3 checkerboardKarel