Rename lengt80.c to Ex_1.17_lengt80.c