Rename Ex1.7_eofvalue.rst to Ex1.7_eofval.rst