Let read_IM_cin() fetch the name of IM given in cin file.