Update and rename ex7_11_12_13.cpp to ex7_13.cpp

use the istream constructor should judge the std::cin whether is empty.